---
abstract: "We present a new animation and model checking tool for CSP.\r\nThe tool covers the CSP-M language, as supported by existing\r\n tools such as FDR and probe.\r\nCompared to those tools, it  provides visual feedback in the source code,\r\n has an LTL model checker and can be used for combined CSP||B specifications.\r\n During the development of the tool some intricate issues were uncovered with  the CSP-M language.\r\n We discuss those issues, and provide suggestions for improvement.\r\n We also explain how we have ensured conformance with FDR, by using FDR itself to validate our tool's output.\r\n We also provide empirical evidence on the performance of our tool compared to FDR, showing that it can be used on industrial-strength specifications."
accompaniment: []
book_title: Proceedings of ICFEM 2008
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - leuschel@cs.uni-duesseldorf.de
  - ~
creators_name:
  - family: Leuschel
    given: Michael
    honourific: ''
    lineage: ''
  - family: Fontaine
    given: Marc
    honourific: ''
    lineage: ''
data_type: ~
date: 2008-10
date_type: published
datestamp: 2008-11-04 09:04:12
department: ~
dir: disk0/00/00/00/44
divisions: []
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 44
event_dates: ~
event_location: ~
event_title: ~
event_type: ~
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/44/1/main.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2010-04-19 15:05:51
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://www.springerlink.com/content/12w67256868u2381/
output_media: ~
pagerange: 278-297
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: ~
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: Springer-Verlag
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 21
series: ~
skill_areas: []
source: ~
status_changed: 2008-11-04 09:04:12
subjects:
  - deploy_tooldev_other
  - deploy_tooldev_modela
  - deploy_tooldev
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: 'Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool'
type: book_section
userid: 12
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>