Community Profile

photo

Alexandre De Barros

Last seen: 1 jour il y a |  Actif depuis 2012

Followers: 0   Following: 0

Contact

Statistiques

All
  • GitHub Submissions Level 2
  • Personal Best Downloads Level 1
  • First Review
  • First Submission
  • 6 Month Streak
  • Revival Level 2
  • Knowledgeable Level 4
  • First Answer
  • Solver

Afficher les badges

Feeds

Afficher par

A soumis


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

2 mois il y a | 2 téléchargements |

Thumbnail

A soumis


Polyspace-Stack-Flow-Viewer

9 mois il y a | 1 téléchargement |

Thumbnail

A soumis


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

presque 6 ans il y a | 2 téléchargements |

Thumbnail

A soumis


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

plus de 7 ans il y a | 4 téléchargements |

Thumbnail

A soumis


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

plus de 7 ans il y a | 1 téléchargement |

Thumbnail

A soumis


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

plus de 7 ans il y a | 1 téléchargement |

A soumis


PolySpace For Editors
A tool to integrate PolySpace into your favorite editor

plus de 7 ans il y a | 1 téléchargement |