Sciweavers

FM
2003
Springer
114views Formal Methods» more  FM 2003»
14 years 3 months ago
ProB: A Model Checker for B
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
Michael Leuschel, Michael J. Butler