Tools for system validation with B abstract machines
Tools for system validation with B abstract 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.
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
2005
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael, Leuschel, Michael and Snook, Colin
(2005)
Tools for system validation with B abstract machines.
ASM 2005: 12th International Workshop on Abstract State Machines, Paris.
Record type:
Conference or Workshop Item
(Paper)
Abstract
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.
More information
Published date: 2005
Additional Information:
Event Dates: March 2005
Venue - Dates:
ASM 2005: 12th International Workshop on Abstract State Machines, Paris, 2005-03-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 260490
URI: http://eprints.soton.ac.uk/id/eprint/260490
PURE UUID: 82bc4cf3-d8e7-4590-b299-4044335c5fd0
Catalogue record
Date deposited: 08 Feb 2005
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Michael Butler
Author:
Michael Leuschel
Author:
Colin Snook
Download statistics
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