scientific article; zbMATH DE number 1746446

zbMATH Open0985.68036MaRDI QIDQ4532076FDOQ4532076

Authors: Antti Valmari 

Publication date: 28 May 2002

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• 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
• Title not available (Why is that?)
• Refined Interfaces for Compositional Verification
• Title not available (Why is that?)
• Compositional verification of the generalized nonblocking property using abstraction and canonical automata
• Title not available (Why is that?)
• Abstraction and composition: a verification method for co-operating systems
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets

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)