Paper Info
Title
Combining CSP and b for specification and property verification
Abstract
ProB is a model checking tool for the B Method. In this paper we present an extension of ProB that supports checking of specifications written in a combination of CSP and B. We explain how the notations are combined semantically and give an overview of the implementation of the combination. We illustrate the benefit that appropriate use of CSP, in conjunction with our tool, gives to B developments both for specification and for verification purposes.
Year
DOI
Venue
2005
10.1007/11526841_16
FM
Keywords
Field
DocType
b method,animation,model checking,logic programming
Constraint satisfaction,Notation,Model checking,Programming language,Computer science,B-Method,Animation,Formal methods,Logic programming,Software development
Conference
Volume
ISSN
ISBN
3582
0302-9743
3-540-27882-6
Citations 
PageRank 
References 
46
2.55
10
Authors
2
Name
Order
Citations
PageRank
Michael Butler11768104.74
Michael Leuschel22156135.89