An abstract interpretation toolkit for μCRL

Valero Espada, Miguel and Pol van de, Jaco (2007) An abstract interpretation toolkit for μCRL. Formal Methods in System Design, 30 (3). pp. 249-273. ISSN 0925-9856

PDF
Restricted to UT campus only: Request a copy
543Kb

Abstract:	This paper describes a toolkit that assists in the task of generating abstract approximations of process algebraic specifications written in the language μCRL. Abstractions are represented by Modal Labelled Transition Systems, which are mixed transition systems with may and must modalities. The approach permits to infer the satisfaction or refutation of safety and liveness properties expressed in the (action-based) μ-calculus. The tool supports the abstraction of states and action labels, which allows to deal with infinitely branching systems.
Item Type:	Article
Copyright:	© 2007 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/61976
Official URL:	http://dx.doi.org/10.1007/s10703-006-0029-7
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 242017