Explore @NASA-SW-VnV Open Source projects

NASA - Software V&V (@NASA-SW-VnV)

NASA-SW-VnV

Stars
2,367
Global Org. Rank 8,385 (Top 3 %)
Registered about 7 years ago
Most used languages

Ruby
16.7 %

JavaScript
16.7 %

C++
16.7 %

MATLAB
16.7 %

Scala
16.7 %

Julia
16.7 %
Location 🇺🇸 United States
Country Total Rank 4,802
Country Ranking

C++
235

MATLAB
531

Julia
576

Scala
1,260

JavaScript
4,272

ikos

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

fret

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

CoCoSim

Automated Analysis Framework for Simulink/Stateflow models.

mesa

Actor-based Runtime Verification Tool

AdaStress.jl

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

homebrew-core

Homebrew formulae from NASA - Software Verification and Validation