Popular repositories Loading

1. ikos ikos Public

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

   C++ 2.3k 162

2. fret fret Public

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

   JavaScript 296 52

3. CoCoSim CoCoSim Public

   Automated Analysis Framework for Simulink/Stateflow models.

   MATLAB 40 8

4. mesa mesa Public

   Actor-based Runtime Verification Tool

   Scala 13

5. AdaStress.jl AdaStress.jl Public

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

   Julia 11

6. homebrew-core homebrew-core Public

   Homebrew formulae from NASA - Software Verification and Validation

   Ruby 5 2