NASA-SW-VnV/CoCoSim NASA-SW-VnV/CoCoSim

  • Stars
    star
    35
  • Rank 725,286 (Top 15 %)
  • Language
    MATLAB
  • License
    Other
  • Created over 4 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NASA-SW-VnV/CoCoSim
github

NASA-SW-VnV

Reviews

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

Repository Details

Automated Analysis Framework for Simulink/Stateflow models.

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

mesa

Actor-based Runtime Verification Tool
Scala
9
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