NASA - Software V&V

NASA - Software V&V's repositories

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

Language:C++NOASSERTION2007 52 216

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

Language:JavaScriptNOASSERTION272 22 31

Automated Analysis Framework for Simulink/Stateflow models.

Language:MATLABNOASSERTION37 11 12

Actor-based Runtime Verification Tool

Language:ScalaNOASSERTION9 40

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

Language:JuliaNOASSERTION6 3 2

Homebrew formulae from NASA - Software Verification and Validation

Language:Ruby5 7 13

Regression and unit tests for CoCoSim

Language:MATLAB080