Explore @NASA-SW-VnV Open Source projects

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

NASA-SW-VnV

Stars
2,288
Global Org. Rank 8,403 (Top 3 %)
Registered over 6 years ago
Most used languages

Scala
16.7 %

JavaScript
16.7 %

Ruby
16.7 %

Julia
16.7 %

C++
16.7 %

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

C++
230

MATLAB
524

Julia
589

Scala
1,150

JavaScript
4,564

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