$\xor$-OBDD in Symbolic Model Checking

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

Ř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

Citation
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.