Discover @igor-buzhinsky Open Source projects

Igor Buzhinsky (@igor-buzhinsky)

igor-buzhinsky

Stars
16
Global Rank 735,430 (Top 26 %)
Followers 6
Registered over 10 years ago
Most used languages

Java
50.0 %

Shell
16.7 %

Jupyter Notebook
16.7 %

C++
16.7 %
Location 🇫🇮 Finland
Country Total Rank 2,907
Country Ranking

Jupyter Notebook
187

Java
254

Shell
589

C++
1,093

nusmv_counterexample_visualizer

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