Rheinische Friedrich-Wilhelms-Universität Bonn Institut für Informatik
 
Abteilung V

 
Universität Bonn -> Institut für Informatik -> Abteilung V
CS-Reports 1998 Copyright 1998 Universität Bonn, Institut für Informatik, Abt. V
85192

19.11.2008

Randomized OBDDs and the Model Checking
Marek Karpinski
[Download PostScript] [Download PDF]

We present some recent results on the computational power and the basic manipulation properties of the randomized OBDDs (or equivalently, randomized read-once ordered branching programs). We discuss here their utilizing properties for randomized formal verification and the model checking.

Last Change: 11/19/08 at 15:37:13
 English
Universität Bonn -> Institut für Informatik -> Abteilung V

Powered by Zope