Composition and abstraction

DOI10.1007/3-540-45510-8_3MaRDI QIDQ4532076zbMATH OpenFDO

Authors Antti Valmari

Publication date 28 May 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2067/20670058

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

• Compositionality in state space verification methods
• Automatic verification of concurrent systems using a formula-based compositional approach
• Algebraic process verification.
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

Cited in

(13)

• The sh-verification tool -- abstraction-based verification of co-operating systems
• Automatic verification of concurrent systems using a formula-based compositional approach
• A verification technique for reversible process algebra
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• Refined Interfaces for Compositional Verification
• scientific article; zbMATH DE number 3724381 (Why is no real title available?)
• scientific article; zbMATH DE number 1254496 (Why is no real title available?)
• Checking for CFFD-preorder with tester processes
• Abstraction and composition: a verification method for co-operating systems
• Invitation to composition
• Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS
• Compositional verification of the generalized nonblocking property using abstraction and canonical automata
• Composition: a fresh look at an old topic

This page was built for publication: Composition and abstraction

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