Popular repositories

1. ikos ikos Public

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

   C++ 2k 148

2. fret fret Public

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

   JavaScript 257 45

3. CoCoSim CoCoSim Public

   Automated Analysis Framework for Simulink/Stateflow models.

   MATLAB 35 8

4. mesa mesa Public

   Actor-based Runtime Verification Tool

   Scala 9

5. AdaStress.jl AdaStress.jl Public

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

   Julia 6

6. homebrew-core homebrew-core Public

   Homebrew formulae from NASA - Software Verification and Validation

   Ruby 5 2