{V}erifikation der diskreten - Embedded Systems Group
{V}erifikation der diskreten - Embedded Systems Group
{V}erifikation der diskreten - Embedded Systems Group
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Abb. 13: Benötigte BDD-Knoten für neuen Durchlauf <strong>der</strong>Additionstheoreme mit SMV 2.4.3Abb. 14: Benötigte MBytes für neuen Durchlauf <strong>der</strong>Additionstheoreme mit SMV 2.4.326