Proof-Checking Protocols using Bisimulations (1999)


Download Links

by Christine Röckl , Javier Esparza
Venue:IN PROC. CONCUR’99, LNCS 1664
Citations:11 - 2 self

Active Bibliography

On the Mechanized Verification of Infinite Systems – Christine Röckl, Javier Esparza
2 Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL – Christine Röckl, Bisimulations In Isabelle/hol
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
14 Priority and Maximal Progress are completely axiomatisable (Extended Abstract) – Holger Hermanns, Markus Lohrey - 1998
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation – Well-founded Bisimulation, Panagiotis Manolios Kedar, Kedar Namjoshi, Robert Sumners - 1999
13 Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation – Panagiotis Manolios, Kedar Namjoshi, Robert Sumners - 1999
4 Liveness and fairness in process-algebraic verification – Antti Puhakka - 2003
7 Fair Bisimulation – Thomas A. Henzinger, Sriram K. Rajamani - 2000
13 Normed Simulations – David Griffioen, Frits Vaandrager - 1998
1 Program Abstraction in a Higher-Order Logic Framework – Marco Benini, Sara Kalvala, Dirk Nowotka - 1998
Focus on Isabelle: From Specification to Verification ⋆ – Maria Spichkova
Formally Validated Specification of a Micro-Payment Protocol – P. Dargenton, D. Hirschkoff, P. Lescanne, E. Pommateau
2 A First-Order Syntax for the pi-Calculus in Isabelle/HOL using Permutations – Christine Röckl
Mechanically Verified Abstractions to Finite State Systems - A Case Study of the Alternating Bit Protocol in Isabelle – Olaf Müller
45 Combining Model Checking and Deduction for I/O-Automata – Olaf Müller, Tobias Nipkow
A Formal Verification of the Alternating Bit Protocol in µCRL – Gertjan Kamsteeg - 1993
18 Formalizing Process Algebraic Verifications in the Calculus of Constructions – Marc Bezem, Jan Friso Groote, Roland Bol
7 On the Completeness of the Equations for the Kleene Star in Bisimulation – Wan Fokkink - 1996