Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Groote, J.F.
Volume
Title
152
Specification and implementation of components of a μCRL toolbox
Dams, D.
|
Groote, J.F.
142
Focus points and convergent process operators (A proof strategy for protocol verification)
Groote, J.F.
|
Springintveld, J.
137
Confluence for Process Verification
Groote, J.F.
|
Sellink, M.P.A.
127
Binary Decision Diagrams for First Order Predicate Logic
Groote, J.F.
121
The safety guaranteeing system at station Hoorn-Kersenboogerd
Groote, J.F.
|
Koorn, J.W.C.
|
Vlijmen, S.F.M. van
120
Hiding Propositional Constants in BDDs
Groote, J.F.
114
A Modal Logic for μCRL
Groote, J.F.
|
Vlijmen, S.F.M. van
113
Proving a graph well founded using resolution
Bezem, Marc
|
Groote, J.F.
100
A Bounded Retransmission Protocol for Large Data Packets: A Case Study in Computer Checked Algebraic Verification
Groote, J.F.
|
Pol, J.C. van de
99
A Correctness Proof of a One-bit Sliding Window Protocol in μCRL
Bezem, Marc
|
Groote, J.F.
98
Invariants in Process Algebra with Data
Bezem, Marc
|
Groote, J.F.
88
A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions
Bezem, Marc
|
Groote, J.F.
84
Towards a Formal Mathematical Vernacular
Groote, J.F.
80
A Correctness Proof of the Bakery Protocol in μCRL
Groote, J.F.
|
Korver, H.
