igor-buzhinsky/modchk-to-spin igor-buzhinsky/modchk-to-spin

  • Stars
    star
    1
  • Language
    Java
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
igor-buzhinsky/modchk-to-spin
github

igor-buzhinsky

Reviews

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

Repository Details

Converter of function block models from NuSMV to Promela (SPIN)

More Repositories

1

nusmv_counterexample_visualizer

Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker
Java
7
star
2

latent-space-nn-evaluation

Framework to evaluate deep neural networks with latent space performance metrics
Jupyter Notebook
5
star
3

hw-sw-model-builder

Tool to build NuSMV formal models for reliable safety systems with redundancy
Java
1
star
4

ps-timed-model

Reactor protection system (PS) modeled in nuXmv
Shell
1
star
5

fractal_generator

Command-line Mandelbrot & Julia set generator
C++
1
star