Paper Info
Title
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
Abstract
We present a new animation and model checking tool for CSP. The tool covers the CSP-M language, as supported by existing tools such as fdrand probe. Compared to those tools, it provides visual feedback in the source code, has an LTL model checker and can be used for combined CSP || B specifications. During the development of the tool some intricate issues were uncovered with the CSP-M language. We discuss those issues, and provide suggestions for improvement. We also explain how we have ensured conformance with fdr, by using fdritself to validate our tool's output. We also provide empirical evidence on the performance of our tool compared to fdr, showing that it can be used on industrial-strength specifications.
Year
DOI
Venue
2008
10.1007/978-3-540-88194-0_18
ICFEM
Keywords
Field
DocType
industrial-strength specification,b specification,fdrand probe,combined csp,model checking tool,ensured conformance,new fdr-compliant validation tool,intricate issue,ltl model checker,csp-m language,empirical evidence,formal method,b method,model checking,source code
Model checking,Programming language,Computer science,Source code,Theoretical computer science,B-Method,Animation,Logic programming
Conference
Volume
ISSN
Citations 
5256
0302-9743
24
PageRank 
References 
Authors
1.04
20
2
Name
Order
Citations
PageRank
Michael Leuschel12156135.89
Marc Fontaine2241.04