ProB: an automated analysis toolset for the B method


We present ProB, a validation toolset for the B method. ProB’s automated animation facilities allow users to gain confidence in their specifications. ProB also contains a model checker and a refinement checker, both of which can be used to detect various errors in B specifications. We describe the underlying methodology of ProB, and present the important… (More)
DOI: 10.1007/s10009-007-0063-9


9 Figures and Tables


Citations per Year

312 Citations

Semantic Scholar estimates that this publication has 312 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Leuschel2007ProBAA, title={ProB: an automated analysis toolset for the B method}, author={Michael Leuschel and Michael J. Butler}, journal={International Journal on Software Tools for Technology Transfer}, year={2007}, volume={10}, pages={185-203} }