An abstract interpretation toolkit for \(\mu\)CRL

DOI10.1007/s10703-006-0029-7zbMath1116.68058OpenAlexW2154040094WikidataQ62047488 ScholiaQ62047488MaRDI QIDQ883139

Jaco van de Pol, Miguel Valero Espada

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

Process algebraModel checkingAbstract 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)

Related Items (2)

Abstraction in Fixpoint Logic ⋮ A linear process-algebraic format with data for probabilistic automata

Uses Software

• SPIN
• Bebop
• mCRL

Cites Work

• Algebra of communicating processes with abstraction
• Algebraic Methodology and Software Technology
• Galois Connexions
• Linearization in parallel pCRL
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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