Community Profile

photo

Alexandre De Barros

Last seen: 4일 전 |  2012년부터 활동

연락

통계

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

배지 보기

Content Feed

보기 기준

제출됨


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

대략 2개월 전 | 다운로드 수: 2 |

Thumbnail

제출됨


Polyspace-Stack-Flow-Viewer

9개월 전 | 다운로드 수: 1 |

Thumbnail

제출됨


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

5년 초과 전 | 다운로드 수: 4 |

Thumbnail

제출됨


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

7년 초과 전 | 다운로드 수: 4 |

Thumbnail

제출됨


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

7년 초과 전 | 다운로드 수: 1 |

Thumbnail

제출됨


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

7년 초과 전 | 다운로드 수: 1 |

제출됨


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

7년 초과 전 | 다운로드 수: 1 |