{V}erifikation der diskreten - Embedded Systems Group
{V}erifikation der diskreten - Embedded Systems Group
{V}erifikation der diskreten - Embedded Systems Group
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Bitbreite BDD-Knoten Bytes Spezifikation erfüllt ?2 957 17.498.112 ja4 26.599 18.087.936 ja6 577.803 27.262.976 ja8 11.731.678 206.110.720 jaTabelle 1: Experimentelle Ergebnisse zur Ermittlung von Konstanten für dieAdditionstheoremeAbb.9: Benötigte BDD-Knoten für Additionstheoreme mit SMV 2.4.322