eprintid: 2318
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/23/18
datestamp: 2014-10-09 13:21:53
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 13:21:53
type: book_section
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Proceedings of the 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012
abstract: The Spatial Logic Model Checker is a tool for verifying π-calculus systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency of Caires and Cardelli. Model-checking is one of the most widely used techniques to check temporal properties of software systems. However, when the analysis focuses on properties related to resource usage, localities, interference, mobility, or topology, it is crucial to reason about spatial properties and structural dynamics. The SLMC is the only currently available tool that supports the combined analysis of behavioral and spatial properties of systems. The implementation, written in OCAML, is mature and robust, available in open source, and outperforms other tools for verifying systems modeled in π-calculus.
date: 2012
series: Lecture Notes in Computer Science
number: 7214
publisher: Springer
pagerange: 485-491
id_number: 10.1007/978-3-642-28756-5_35
refereed: TRUE
isbn: 978-3-642-28756-5
book_title: Tools and Algorithms for the Construction and Analysis of Systems
official_url: http://dx.doi.org/10.1007/978-3-642-28756-5_35
citation:   Caires, Luis and Torres Vieira, Hugo   SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications.   In:  Tools and Algorithms for the Construction and Analysis of Systems.   Lecture Notes in Computer Science  (7214).  Springer, pp. 485-491.  ISBN 978-3-642-28756-5      (2012)  
document_url: http://eprints.imtlucca.it/2318/1/TorresVieira_LNCS_7214.pdf