NASA - Software V&V

NASA - Software Verification and Validation

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

C++ 1,678 119 44 2 Updated Jun 23, 2022
fret Public
A framework for the elicitation, specification, formalization and understanding of requirements.

JavaScript 141 23 3 2 Updated Jun 16, 2022
CoCoSim Public
Automated Analysis Framework for Simulink/Stateflow models.

MATLAB 24 7 1 1 Updated May 20, 2022
AdaStress.jl Public
Reinforcement learning framework to find and analyze the likeliest failures of a system under test.

Julia 0 0 0 0 Updated Feb 16, 2022
mesa Public
Actor-based Runtime Verification Tool

Scala 0 0 0 0 Updated Nov 4, 2021
cocosim_tests Public
Regression and unit tests for CoCoSim

MATLAB 0 0 0 0 Updated Aug 13, 2021
homebrew-core Public
Homebrew formulae from NASA - Software Verification and Validation

Ruby 3 0 2 0 Updated Dec 18, 2019

Popular repositories