Alexandre De Barros

Last seen: Today | Attivo dal 2012

Followers: 0 Following: 0

Messaggio

Statistica

All

Visualizza badge

Feeds

Inviato

Polyspace-Access-Utility
Polyspace Access Utility is a bash script for dealing with basic operations when using Polyspace Access: backup, clean-up, usa...

5 mesi fa | 4 download |

0.0 / 5

Inviato

Polyspace-Stack-Flow-Viewer

quasi 2 anni fa | 1 download |

0.0 / 5

Inviato

Polyspace for AUTOSAR demo
A demo showing how to use the feature "Polyspace for AUTOSAR" introduced in R2018a

quasi 7 anni fa | 2 download |

4.0 / 5

Inviato

Launch Polyspace from MATLAB
A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB

oltre 8 anni fa | 4 download |

5.0 / 5

Inviato

ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification

oltre 8 anni fa | 1 download |

0.0 / 5

Inviato

EmailNotifier
A tool to receive an email notification at the end of a PolySpace verification