Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking (MC)) or deductive reasoning (theorem proving). The combination of the two approaches promises to overcome the limitation and to enhance the capabilities of each. Our research is motivated by this goal. In this book, we provide the necessary infrastructure (data structure + algorithms) to define high level states exploration in the HOL theorem prover named as MDG-HOL platform. We have based our approach on Multiway Decision Graphs (MDGs). We formalize the basic MDG operations within HOL following a deep embedding approach. Then, we derive the correctness proof for each MDG basic operator. Based on this platform, the MDG reachability analysis is defined in HOL as a conversion that uses the MDG theory within HOL. Finally, we propose a reduction technique to improve MDGs MC based on MDG-HOL platform. The idea is to prune the transition relation of the circuits using pre-proved theorems from the specification given at system level. We use the consistency of the specifications to verify if the reduced model is faithful to the original one.

About the Author:

Sa?ed Abed received in 94 & 96 his B.Sc. & M.Sc. in Elec. & Comp. Eng. from JUST, Jordan. In June 2008, he received his Ph.D. in Comp. Eng. from Concordia University, Canada. In 2008 Dr. Abed joined the Comp. Eng. Dep. of Hashemite University, Jordan, as an Assistant Professor. Dr. Abed?s research interests include Verification and Formal Methods.

"About this title" may belong to another edition of this title.

Store Description

Online Handel nur mit Neub�chern

Visit Seller's Storefront

Seller's business information

Moluna GmbH
Engberdingdamm 27, Greven, 48268, Germany

Terms of Sale:

Instructions for revocation/
Standard Business Terms and customer information/ data protection declaration

Revocation right for consumers
(A ?consumer? is any natural person who concludes a legal transaction which, to an overwhelming extent, cannot be attributed to either his commercial or independent professional activities.)

Instructions for revocation

Revocation right
You have the right to revoke this contract within one month without specifying any reasons.
The revocation period is one month...

More Information

Shipping Terms:

II. Kundeninformationen

Identit�t des Verk�ufers

Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de

Alternative Streitbeilegung:
Die Europ�ische Kommission stellt eine Plattform f�r die au�ergerichtliche Online-Streitbeilegung (OS-Plattform) bereit, aufrufbar unter https://ec.europa.eu/odr.

Informationen zum Zustandekommen des Vertrages

Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturm�glichkeiten erfolgen nach Ma�gabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Gesch�ftsbedingungen (Teil I.).

Vertragssprache, Vertragstextspeicherung

3.1. Vertragssprache ist deutsch .

3.2. Der vollst�ndige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung k�nnen die Vertragsdaten �ber die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzvertr�gen und die Allgemeinen Gesch�ftsbedingungen nochmals per E-Mail an Sie �bersandt.

Wesentliche Merkmale der Ware oder Dienstleistung

Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.

Preise und Zahlungsmodalit�ten

5.1. Die in den jeweiligen Angeboten angef�hrten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschlie�lich aller anfallenden Steuern.

5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind �ber eine entsprechend bezeichnete Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zus�tzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.

5.3. Die Ihnen zur Verf�gung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot ausgewiesen.

5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsanspr�che aus dem geschlossenen Vertrag sofort zur Zahlung f�llig.

Lieferbedingungen

6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschr�nkungen finden sich unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot.

Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfl�che keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).

6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zuf�lligen Untergangs und der zuf�lligen Verschlechterung der verkauften Sache w�hrend der Versendung erst mit der �bergabe der Ware an Sie �bergeht, unabh�ngig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenst�ndig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausf�hrung der Versendung bestimmte Person beauftragt haben.

Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.