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