|
|
| |
| 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
|
Universität Bonn -> Institut für Informatik -> Abteilung V | |