NASA-SW-VnV/mesa NASA-SW-VnV/mesa

  • Stars
    star
    9
  • Rank 1,873,262 (Top 39 %)
  • Language
    Scala
  • License
    Other
  • Created almost 3 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NASA-SW-VnV/mesa
github

NASA-SW-VnV

Reviews

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

Repository Details

Actor-based Runtime Verification Tool

More Repositories

1

ikos

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

fret

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

CoCoSim

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

AdaStress.jl

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

homebrew-core

Homebrew formulae from NASA - Software Verification and Validation
Ruby
5
star