An Abstract Interpretation Toolkit for μCRL | Zendy

Jaco van de Pol | Zendy; Miguel Valero Espada | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Abstract Interpretation Toolkit for μCRL

Author(s) -

Jaco van de Pol,

Miguel Valero Espada

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.08.070

Subject(s) - liveness , computer science , process calculus , transition system , abstract interpretation , programming language , abstraction , interpretation (philosophy) , modal , task (project management) , action (physics) , theoretical computer science , model checking , philosophy , chemistry , physics , epistemology , quantum mechanics , polymer chemistry , management , economics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research