Refined Interfaces for Compositional Verification

DOI10.1007/11888116_13zbMath1225.68120OpenAlexW1533440733MaRDI QIDQ3613065

Frédéric Lang

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_13

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 (5)

Equivalence checking 40 years after: a review of bisimulation tools ⋮ On the Minimisation of Acyclic Models ⋮ A formal verification technique for behavioural model-to-model transformations ⋮ To compose, or not to compose, that is the question: an analysis of compositional state space generation ⋮ Compositional verification of asynchronous concurrent systems using CADP

Uses Software

• E-LOTOS
• Exp.Open
• fc2tools

Cites Work

• Compositional minimisation of finite state systems using interface specifications
• A Theory of Communicating Sequential Processes
• Communicating Sequential Processes. The First 25 Years
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refined Interfaces for Compositional Verification