scientific article; zbMATH DE number 1746446

MaRDI QIDQ4532076zbMATH OpenFDO

Authors Antti Valmari

Publication date 28 May 2002

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

(12)

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

This page was built for publication:

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