|
|
| |
| University of Bonn -> Department of Computer Science -> Chair V | ||
| CS-Reports 1998 | Copyright 1998 University of Bonn, Department of Computer Science, 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
|
University of Bonn -> Department of Computer Science -> Chair V | |