Popular repositories Loading

1. ikosikosPublic

   Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   C++ 3k 203

2. fretfretPublic

   A framework for the elicitation, specification, formalization and analysis of requirements.

   JavaScript 349 56

3. CoCoSimCoCoSimPublic

   Automated Analysis Framework for Simulink/Stateflow models.

   MATLAB 49 9

4. mesamesaPublic

   Actor-based Runtime Verification Tool

   Scala 17

5. AdaStress.jlAdaStress.jlPublic

   Reinforcement learning framework to find and analyze the likeliest failures of a system under test.

   Julia 13

6. homebrew-corehomebrew-corePublic

   Homebrew formulae from NASA - Software Verification and Validation

   Ruby 5 4