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), 185-203. (doi:10.1007/s10009-007-0063-9).


[img] PDF
Download (494Kb)


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
Digital Object Identifier (DOI): doi:10.1007/s10009-007-0063-9
ISSNs: 1433-2779
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 262886
Accepted Date and Publication Date:
8 January 2008Published
Date Deposited: 10 Aug 2006
Last Modified: 31 Mar 2016 14:06
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics