NASA - Software V&V

All

7 repositories

fret
Public
A framework for the elicitation, specification, formalization and analysis of requirements.
aerospace formal-verification requirements robotic-systems consistency-checking autonomy test-case-generation safety-critical-systems probabilistic-requirements early-verification-validation
JavaScript
•
Other
•61•379•22•8•Updated Jun 10, 2025Jun 10, 2025
CoCoSim
Public
Automated Analysis Framework for Simulink/Stateflow models.
MATLAB
•
Other
•9•54•1•1•Updated May 31, 2025May 31, 2025
ikos
Public
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
static-analysis program-analysis software-verification abstract-interpretation
C++
•
Other
•215•3k•40•2•Updated Apr 24, 2025Apr 24, 2025
homebrew-core
Public
Homebrew formulae from NASA - Software Verification and Validation
Ruby
•4•5•2•0•Updated Mar 29, 2025Mar 29, 2025
AdaStress.jl
Public
Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
Julia
•
Other
•0•14•0•0•Updated Apr 22, 2024Apr 22, 2024
mesa
Public
Actor-based Runtime Verification Tool
Scala
•
Other
•0•19•0•0•Updated Apr 13, 2023Apr 13, 2023
cocosim_tests
Public
Regression and unit tests for CoCoSim
MATLAB
•0•0•0•0•Updated Aug 13, 2021Aug 13, 2021