eprintid: 1293
rev_number: 7
eprint_status: archive
userid: 30
dir: disk0/00/00/12/93
datestamp: 2012-06-29 12:28:49
lastmod: 2016-07-13 09:49:50
status_changed: 2012-06-29 12:28:49
type: book_section
succeeds: 1290
metadata_visibility: show
creators_name: Lluch-Lafuente, Alberto
creators_name: Meseguer, José
creators_name: Vandin, Andrea
creators_id: alberto.lluch@imtlucca.it
creators_id: 
creators_id: andrea.vandin@imtlucca.it
title: State space c-reductions for concurrent systems in rewriting logic
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: working_paper
note: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
abstract: We present c-reductions, a simple, flexible and very general state space reduction technique that exploits an equivalence relation on states that is a bisimulation. Reduction is achieved by a canonizer function, which maps each state into a not necessarily unique canonical representative of its equivalence class. The approach contains symmetry reduction and name reuse and name abstraction as special cases, and exploits the expressiveness of rewriting logic and its realization in Maude
to automate c-reductions and to seamlessly integrate model checking and the discharging of correctness proof obligations. The performance of the approach has been validated over a set of representative case studies.
date: 2012
series: Lecture Notes in Computer Science
number: 7635
publisher: Springer
pagerange: 430-446
id_number: 10.1007/978-3-642-34281-3_30
institution: IMT Institute for Advanced Studies Lucca
refereed: TRUE
isbn: 978-3-642-34281-3
book_title: Formal Methods and Software Engineering
official_url: http://dx.doi.org/10.1007/978-3-642-34281-3_30
projects: ASCENS
citation:   Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea  State space c-reductions for concurrent systems in rewriting logic.   In:  Formal Methods and Software Engineering.   Lecture Notes in Computer Science  (7635).  Springer, pp. 430-446.  ISBN 978-3-642-34281-3      (2012)  
document_url: http://eprints.imtlucca.it/1293/1/Lluch-lafuente_Meseguer_Vandin_2011.pdf
document_url: http://eprints.imtlucca.it/1293/7/icfem2012.pdf