-
IPRally Technologies Oy
- Helsinki, Finland
- in/igorbuzhinsky
Block or Report
Block or report igor-buzhinsky
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
nusmv_counterexample_visualizer
nusmv_counterexample_visualizer PublicTool to visualize and explain LTL counterexamples generated by the NuSMV model checker
-
latent-space-nn-evaluation
latent-space-nn-evaluation PublicFramework to evaluate deep neural networks with latent space performance metrics
Jupyter Notebook 5
-
modchk-to-spin
modchk-to-spin PublicConverter of function block models from NuSMV to Promela (SPIN)
Java 1
-
-
hw-sw-model-builder
hw-sw-model-builder PublicTool to build NuSMV formal models for reliable safety systems with redundancy
Java 1
-
If the problem persists, check the GitHub status page or contact support.