Popular repositories Loading

1. ikos ikos Public

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

   C++ 3k 203

2. fret fret Public

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

   JavaScript 356 57

3. CoCoSim CoCoSim Public

   Automated Analysis Framework for Simulink/Stateflow models.

   MATLAB 50 9

4. mesa mesa Public

   Actor-based Runtime Verification Tool

   Scala 17

5. AdaStress.jl AdaStress.jl Public

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

   Julia 13

6. homebrew-core homebrew-core Public

   Homebrew formulae from NASA - Software Verification and Validation

   Ruby 5 4