Navigation
Special Pages
- Recent changes

User
- Log in

Distributed Model Checking : Experimental evaluation

Revision as of 10:41, 18 March 2015 by Jens Bendisposto (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This page explains the methodology of the experiments carried out to evaluate the distributed version of ProB.

Retrieved from "https://prob.hhu.de/w/index.php?title=DMC&oldid=2757"