Popular repositories Loading

1. ikos ikos Public

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

   C++ 3.1k 214

2. fret fret Public

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

   JavaScript 381 62

3. CoCoSim CoCoSim Public

   Automated Analysis Framework for Simulink/Stateflow models.

   MATLAB 55 9

4. mesa mesa Public

   Actor-based Runtime Verification Tool

   Scala 19

5. AdaStress.jl AdaStress.jl Public

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

   Julia 15

6. homebrew-core homebrew-core Public

   Homebrew formulae from NASA - Software Verification and Validation

   Ruby 5 4