NASA - Software V&V

icon indicating a website link https://ti.arc.nasa.gov/tech/rse/

icon location NASA Ames Research Center, CA icon location NASA - Software Verification and Validation

Results 3 repositories owned by NASA - Software V&V

ikos

2.5k
Stars
179
Forks
61
Watchers

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

verified publisher icon NASA-SW-VnV

fret

250
Stars
43
Forks
Watchers

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

verified publisher icon NASA-SW-VnV

CoCoSim

34
Stars
8
Forks
Watchers

Automated Analysis Framework for Simulink/Stateflow models.

verified publisher icon NASA-SW-VnV