Butler, Michael, Leuschel, Michael and Snook, Colin
Tools for system validation with B abstract machines
At ASM 2005: 12th International Workshop on Abstract State Machines.
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an animation and model checking tool for the B method. ProB's animation facilities allow users to gain confidence in their specifications. ProB contains a temporal and a state-based model checker, both of which can be used to detect various errors in B specifications. We also overview a recent extension of ProB that supports checking of specifications written in a combination of CSP and B. Finally we describe the UML-B profile and associated U2B tool that allows UML and B to be combined and is intended to make modelling with B more appealing to software engineers.
Conference or Workshop Item
||Event Dates: March 2005
|Venue - Dates:
||ASM 2005: 12th International Workshop on Abstract State Machines, 2005-03-01
||Electronic & Software Systems
||08 Feb 2005
||17 Apr 2017 22:13
|Further Information:||Google Scholar|
Actions (login required)