An abstract interpretation toolkit for CRL

DOI10.1007/S10703-006-0029-7zbMATH Open1116.68058OpenAlexW2154040094WikidataQ62047488 ScholiaQ62047488MaRDI QIDQ883139FDOQ883139

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

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

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)

Cites Work

• Title not available (Why is that?)
• Galois Connexions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebra of communicating processes with abstraction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linearization in parallel pCRL
• A state space distribution policy based on abstract interpretation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Methodology and Software Technology

Cited In (5)

• Abstraction in fixpoint logic
• Title not available (Why is that?)
• A linear process-algebraic format with data for probabilistic automata
• Algebraic Methodology and Software Technology
• Title not available (Why is that?)

Uses Software

• SPIN
• Bebop
• mCRL

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)