An abstract interpretation toolkit for µCRL

M.A. Valero Espada, J.C. Pol, van de

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)249-273
JournalFormal Methods in System Design
Issue number3
Publication statusPublished - 2007

Fingerprint Dive into the research topics of 'An abstract interpretation toolkit for µCRL'. Together they form a unique fingerprint.

Cite this