Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Korver, H.
Volume
Title
154
On automating process algebra proofs
Korver, H.
|
Sellink, A.
147
Formalising LPOs and Invariants in Coq
Korver, H.
|
Sellink, A.
136
The Bakery Protocol: A Comparative Case-Study in Formal Verification
Griffioen, D.
|
Korver, H.
134
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
Korver, H.
101
A Computer-Checked Verification of Milner’s Scheduler
Korver, H.
|
Springintveld, J.
80
A Correctness Proof of the Bakery Protocol in μCRL
Groote, J.F.
|
Korver, H.
Online