Publication details

$\xor$-OBDD in Symbolic Model Checking

Investor logo

ŘEHÁK Vojtěch

Year of publication 2002
Type Article in Proceedings
Conference SOFSEM 2002: Student Research Forum
MU Faculty or unit

Faculty of Informatics

Field Computer hardware and software
Keywords Data structures; $\xor$-OBDD; symbolic model checking;
Description We present a feasibility study of using $\oplus$-OBDD data structure in symbolic model checking (SMC). $\xor$-OBDD has been proposed as a more succinct modification of well known OBDD data structure which is of common use in nowadays SMC. We introduce three modifications of $\xor$-OBDD, analyze their respective efficiency, and present some experimental results based on implementations of $\xor$-OBDD within a symbolic model checker NuSMV.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info