creators_name: Leuschel, Michael
creators_name: Butler, Michael
type: article
datestamp: 2007-12-12 17:15:09
lastmod: 2008-10-07 21:26:12
metadata_visibility: show
title: ProB: An Automated Analysis Toolset for the B Method
ispublished: pub
subjects: deploy_tooldev_modela
full_text_status: none
abstract: 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.
date: 2008
date_type: published
publication: International Journal on Software Tools for Technology Transfer
volume: 10
number: 2
publisher: Springer
pagerange: 185-203
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/12886/2/overview_final.pdf
related_url_url: http://eprints.ecs.soton.ac.uk/12886/
citation:   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.