Industrial deployment of system engineering methods providing high dependability and productivity


ProB: An Automated Analysis Toolset for the B Method

Leuschel, Michael and Butler, Michael (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203.

Full text not available from this repository.

Official URL:


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 aspects of the implementation. We also present empirical evaluations as well as several case studies, highlighting that ProB enables users to uncover errors that are not easily discovered by existing tools.

Item Type:Article
Subjects:Tool developments > Model checking
ID Code:5
Deposited By:Michael Butler
Deposited On:12 Dec 2007 17:15
Last Modified:07 Oct 2008 22:26

Repository Staff Only: item control page

Deploy-Project - All right reserved