creators_name: Leuschel, Michael
creators_name: Fontaine, Marc
creators_id: leuschel@cs.uni-duesseldorf.de
type: book_section
datestamp: 2008-11-04 09:04:12
lastmod: 2010-04-19 15:05:51
metadata_visibility: show
title: Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool
ispublished: pub
subjects: deploy_tooldev_other
subjects: deploy_tooldev_modela
subjects: deploy_tooldev
full_text_status: public
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 FDR and 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 FDR itself 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.
date: 2008-10
date_type: published
publisher: Springer-Verlag
pagerange: 278-297
refereed: TRUE
book_title: Proceedings of ICFEM 2008
official_url: http://www.springerlink.com/content/12w67256868u2381/
citation:   Leuschel, Michael and Fontaine, Marc  (2008) Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool.   In:  Proceedings of ICFEM 2008.   Springer-Verlag, pp. 278-297.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/44/1/main.pdf