Focus points and convergent process operators: A proof strategy for protocol verification (1995)


Download Links

by Jan Friso Groote, Jan Springintveld
Citations:39 - 11 self

Active Bibliography

41 The safety guaranteeing system at station Hoorn-Kersenboogerd – J. F. Groote, S. F. M. Van Vlijmen, J. W. C. Koorn
6 On automating process algebra proofs – Henri Korver, Alex Sellink - 1996
4 A modal logic for CRL – J. F. Groote - 1994
9 Cones and Foci for Protocol Verification Revisited – Wan Fokkink, Jun Pang - 2003
62 Algebraic Process Verification – J. F. Groote, M. A. Reniers
18 Formalizing Process Algebraic Verifications in the Calculus of Constructions – Marc Bezem, Jan Friso Groote, Roland Bol
20 A Bounded Retransmission Protocol for Large Data Packets. A Case Study in Computer Checked Algebraic Verification – Jan Friso Groote, Jaco Van De Pol
A modal logic for µCRL – J. F. Groote, S. F. M. van Vlijmen - 1994
11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
5 Algebraic Verification of a Distributed Summation Algorithm – Jan Friso Groote, Jan Springintveld - 1996
5 A Note on n Similar Parallel Processes – J. F. Groote, Issn -x, Jan Friso Groote - 1997
2 Cones and foci: A mechanical framework for protocol verification – Wan Fokkink, Jun Pang, Jaco Pol
2 A formal axiomatization for alphabet reasoning with parametrized processes Henri Korver Alex Sellink – Alex Sellink, Alex Sellink, Henri Korver, M. P. A. Sellink, Henri Korver, Henri Korver, Henri Korver - 1997
12 The Parallel Composition of Uniform Processes with Data – Jan Friso Groote, Jos van Wamel - 2001
3 Two Finite Specifications of a Queue – Marc Bezem, Alban Ponse
4 A Correctness Proof of the Bakery Protocol in µCRL – Jan Friso Groote, Henri Korver - 1994
6 Verification of a distributed summation algorithm – Frits W. Vaandrager - 1995
2 Checking Verifications of Protocols and Distributed Systems By Computer – Jan Friso Groote, Francois Monin, Jaco van de Pol - 1998
24 Verification of Temporal Properties of Processes in a Setting with Data – Jan Friso Groote, Radu Mateescu - 1999