Popular repositories Loading

1. nusmv_counterexample_visualizer nusmv_counterexample_visualizer Public

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

   Java 8 2

2. latent-space-nn-evaluation latent-space-nn-evaluation Public

   Framework to evaluate deep neural networks with latent space performance metrics

   Jupyter Notebook 5

3. modchk-to-spin modchk-to-spin Public

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

   Java 1

4. fractal_generator fractal_generator Public

   Command-line Mandelbrot & Julia set generator

   C++ 1

5. hw-sw-model-builder hw-sw-model-builder Public

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

   Java 1

6. ps-timed-model ps-timed-model Public

   Reactor protection system (PS) modeled in nuXmv

   Shell 1