$\xor$-OBDD in Symbolic Model Checking
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Proceedings |
| Conference | SOFSEM 2002: Student Research Forum |
| MU Faculty or unit | |
| 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: |