NASA-SW-VnV/homebrew-core NASA-SW-VnV/homebrew-core

  • Stars
    star
    5
  • Rank 2,771,831 (Top 57 %)
  • Language
    Ruby
  • Created over 5 years ago
  • Updated 17 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NASA-SW-VnV/homebrew-core
github

NASA-SW-VnV

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Homebrew formulae from NASA - Software Verification and Validation

More Repositories

1

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++
1,981
star
2

fret

A framework for the elicitation, specification, formalization and understanding of requirements.
JavaScript
252
star
3

CoCoSim

Automated Analysis Framework for Simulink/Stateflow models.
MATLAB
35
star
4

mesa

Actor-based Runtime Verification Tool
Scala
9
star
5

AdaStress.jl

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