Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Complete Symbolic Simulation of SystemC Models

Efficient Formal Verification of Finite Non-Terminating Programs
BuchKartoniert, Paperback
162 Seiten
Englisch
Springererschienen am29.03.20161st ed. 2016
In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextIn hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.
Zusammenfassung
Study in Computer Sciences

Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-658-12679-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2016
Erscheinungsdatum29.03.2016
Auflage1st ed. 2016
ReiheBestMasters
Seiten162 Seiten
SpracheEnglisch
Gewicht247 g
IllustrationenXIX, 162 p. 26 illus.
Artikel-Nr.36580960

Inhalt/Kritik

Inhaltsverzeichnis
Verification of Systems .- Introduction to Formal Verification ofSystemC Models.- Symbolic Model Checking with Partial Order Reduction.- EfficientSymbolic State Matching using State Subsumption.- Heuristic Approaches forSymbolic State Matching.- Evaluation of Proposed Techniques.mehr