An abstract interpretation toolkit for CRL

DOI10.1007/S10703-006-0029-7MaRDI QIDQ883139zbMATH OpenOpenAlexWikidataFDO

Authors Miguel Valero Espada, Jaco van de Pol

Publication date 31 May 2007

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-006-0029-7

zbMATH Keywords

Model checkingProcess algebraAbstract interpretationmuCRL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1796138
• FM 2005: Formal Methods
• Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation
• Modal Abstractions of Concurrent Behaviour

Cites work

• scientific article; zbMATH DE number 1670555 (Why is no real title available?)
• scientific article; zbMATH DE number 1693039 (Why is no real title available?)
• scientific article; zbMATH DE number 1232240 (Why is no real title available?)
• scientific article; zbMATH DE number 1953278 (Why is no real title available?)
• scientific article; zbMATH DE number 1953281 (Why is no real title available?)
• scientific article; zbMATH DE number 1744961 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• scientific article; zbMATH DE number 2087619 (Why is no real title available?)
• scientific article; zbMATH DE number 3799616 (Why is no real title available?)
• scientific article; zbMATH DE number 1863177 (Why is no real title available?)
• scientific article; zbMATH DE number 1903376 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• scientific article; zbMATH DE number 898449 (Why is no real title available?)
• A state space distribution policy based on abstract interpretation
• Algebra of communicating processes with abstraction
• Algebraic Methodology and Software Technology
• Galois Connexions
• Linearization in parallel pCRL

Cited in

(5)

• Abstraction in fixpoint logic
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• A linear process-algebraic format with data for probabilistic automata
• scientific article; zbMATH DE number 683363 (Why is no real title available?)
• Algebraic Methodology and Software Technology

Describes a project that uses

Uses Software

• mCRL
• Bebop
• SPIN

This page was built for publication: An abstract interpretation toolkit for \(\mu\)CRL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q883139)