NASA - Software V&V

NASA - Software Verification and Validation

NASA Ames Research Center, CA

Pinned Repositories

AdaStress.jl
Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
Language:Julia10 3 20
CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
Language:MATLAB40 11 128
cocosim_tests
Regression and unit tests for CoCoSim
Language:MATLAB0 8 00
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
Language:JavaScript303 23 3751
homebrew-core
Homebrew formulae from NASA - Software Verification and Validation
Language:Ruby5 7 162
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2.6k 61 229184
mesa
Actor-based Runtime Verification Tool
Language:Scala13 4 00

NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2.6k 61 229184
NASA-SW-VnV/fret
A framework for the elicitation, specification, formalization and understanding of requirements.
Language:JavaScript303 23 3751
NASA-SW-VnV/CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
Language:MATLAB40 11 128
NASA-SW-VnV/mesa
Actor-based Runtime Verification Tool
Language:Scala13 4 00
NASA-SW-VnV/AdaStress.jl
Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
Language:Julia10 3 20
NASA-SW-VnV/homebrew-core
Homebrew formulae from NASA - Software Verification and Validation
Language:Ruby5 7 162
NASA-SW-VnV/cocosim_tests
Regression and unit tests for CoCoSim
Language:MATLAB0 8 00