A Prover for the &mu;CRL toolset with applications - version 0.1

A Prover for the μCRL toolset with applications - version 0.1 (2001)

by J.C. van de Pol

Citations:

2 - 0 self

@MISC{Pol01aprover,
    author = {J.C. van de Pol},
    title = {A Prover for the μCRL toolset with applications - version 0.1},
    year = {2001}
}

This document describes an automated theorem prover, based on an extension of binary decision diagrams.

68	CADP – a protocol validation and verification toolbox - Fernandez, Garavel, et al. - 1997
51	An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle - Dolev, Klawe, et al. - 1982
26	The syntax and semantics of timed CRL - Groote - 1997
21	Formal verification of a leader election protocol in process algebra - Fredlund, Groote, et al. - 1997
16	Computer assisted manipulation of algebraic process specifications - Groote, Lisser - 2002
12	de Pol. Equational binary decision diagrams - Groote, van - 2000