Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{406618,
author = {Řehák, Vojtěch},
address = {Milovy (Czech Republic)},
booktitle = {SOFSEM 2002: Student Research Forum},
keywords = {Data structures; $\xor$-OBDD; symbolic model checking;},
language = {eng},
location = {Milovy (Czech Republic)},
pages = {41-46},
publisher = {Slovak University of Technology},
title = {$\xor$-OBDD in Symbolic Model Checking},
year = {2002}
}
TY - JOUR
ID - 406618
AU - Řehák, Vojtěch
PY - 2002
TI - $\xor$-OBDD in Symbolic Model Checking
PB - Slovak University of Technology
CY - Milovy (Czech Republic)
KW - Data structures
KW - $\xor$-OBDD
KW - symbolic model checking;
N2 - 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.
ER -
ŘEHÁK, Vojtěch. \${}$\backslash$xor\${}-OBDD in Symbolic Model Checking. In \textit{SOFSEM 2002: Student Research Forum}. Milovy (Czech Republic): Slovak University of Technology, 2002, s.~41-46.
|
