The ProB Animator and Model Checker
ProB is an animator, constraint solver and model checker for the B-Method. It allows fully automatic animation of B specifications, and can be used to systematically check a specification for a wide range of errors. The constraint-solving capabilities of ProB can also be used for model finding, deadlock checking and test-case generation.
https://www3.hhu.de/stups/prob/index.php/The_ProB_Animator_and_Model_CheckerUpdated 15, 2019
Sign in to receive news from MOOC IMD and to access course forums.