My name is Edoardo, and I'm a software engineer working for Meticulous. I'm originally from Italy, and currently live in London.
edoardopirovano / prism Goto Github PK
View Code? Open in Web Editor NEWThis project forked from prismmodelchecker/prism
The main development version of the PRISM model checker.
Home Page: http://www.prismmodelchecker.org/
License: GNU General Public License v2.0