scientific article; zbMATH DE number 2080915

MaRDI QIDQ4473980zbMATH OpenFDO

Authors Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2234/22340160.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On Communicating Finite-State Machines
• An improved protocol validation technique for a class of communication models
• scientific article; zbMATH DE number 4011916
• scientific article; zbMATH DE number 910719
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings

Cited in

(14)

• State machines and assertions: An integrated approach to modeling and verification of distributed systems
• An improved protocol validation technique for a class of communication models
• Message-passing algorithms for the verification of distributed protocols
• scientific article; zbMATH DE number 3862445 (Why is no real title available?)
• An extension of protocol verification modal logic to multi-channel protocols
• Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
• On Communicating Finite-State Machines
• On "A Simple Protocol Whose Proof Isńt": The State Machine Approach
• scientific article; zbMATH DE number 4011916 (Why is no real title available?)
• scientific article; zbMATH DE number 2050824 (Why is no real title available?)
• Logic-based verification of the distributed dining philosophers protocol
• scientific article; zbMATH DE number 1863156 (Why is no real title available?)
• Verifying Communication Protocols Using Live Sequence Chart Specifications
• Specification and analysis of a data transfer protocol using systems of communicating machines

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 Q4473980)