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:Julia6 3 20
CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
Language:MATLAB37 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:JavaScript272 22 3146
homebrew-core
Homebrew formulae from NASA - Software Verification and Validation
Language:Ruby5 7 132
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2k 52 216149
mesa
Actor-based Runtime Verification Tool
Language:Scala9 4 00

NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2k 52 216149
NASA-SW-VnV/fret
A framework for the elicitation, specification, formalization and understanding of requirements.
Language:JavaScript272 22 3146
NASA-SW-VnV/CoCoSim
Automated Analysis Framework for Simulink/Stateflow models.
Language:MATLAB37 11 128
NASA-SW-VnV/mesa
Actor-based Runtime Verification Tool
Language:Scala9 4 00
NASA-SW-VnV/AdaStress.jl
Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
Language:Julia6 3 20
NASA-SW-VnV/homebrew-core
Homebrew formulae from NASA - Software Verification and Validation
Language:Ruby5 7 132
NASA-SW-VnV/cocosim_tests
Regression and unit tests for CoCoSim
Language:MATLAB0 8 00