igor-buzhinsky/nusmv_counterexample_visualizer

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Java
License
MIT License
Created about 7 years ago
Updated about 4 years ago

igor-buzhinsky/nusmv_counterexample_visualizer

igor-buzhinsky

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

Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker

latent-space-nn-evaluation

Framework to evaluate deep neural networks with latent space performance metrics

Jupyter Notebook

modchk-to-spin

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

hw-sw-model-builder

Tool to build NuSMV formal models for reliable safety systems with redundancy

ps-timed-model

Reactor protection system (PS) modeled in nuXmv

fractal_generator

Command-line Mandelbrot & Julia set generator