TY  - JOUR
ID  - deploy5
UR  - http://eprints.ecs.soton.ac.uk/12886/2/overview_final.pdf
IS  - 2
A1  - Leuschel, Michael
A1  - Butler, Michael
Y1  - 2008///
N2  - 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.
PB  - Springer
JF  - International Journal on Software Tools for Technology Transfer
VL  - 10
TI  - ProB: An Automated Analysis Toolset for the B Method
SP  - 185
AV  - none
EP  - 203
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>