7onny/SpecsParser
Tool to visualize test case paths (returned by NuSMV counterexamples) through the model graph.
Developer Profile
7onny
Discovered public repositories for 7onny in the GitHub catalog.
7onny/SSPP_Win32
Public repository.
7onny/SSPP_OMP
Public repository.
7onny/SSPP_Serial
Public repository.
7onny/Advanced_Java_Assignment
Public repository.
7onny/HPC_Sequential
Public repository.
7onny/ComputerGraphix
Public repository.
7onny/Computer_Graphix_Assignment
Public repository.
7onny/Computer_Graphix
Public repository.
7onny/Serial
HPC Serial Code
7onny/HPC
Public repository.
7onny/Cube
Public repository.
7onny/Prueba
Public repository.