Preisvergleich / Wohnen / Büro / Satisfiability & Verification, Fachbücher von Marc Herbstritt
Thumbnail - Satisfiability & Verification, Fachbücher von Marc Herbstritt

Satisfiability & Verification, Fachbücher von Marc Herbstritt

Das Buch "Satisfiability & Verification" von Marc Herbstritt bietet eine umfassende Analyse der Verifikation von Systemen zur... Mehr erfahren

Sammle bis zu 44 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis44 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

89,90 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Produktdetails

Das Buch "Satisfiability & Verification" von Marc Herbstritt bietet eine umfassende Analyse der Verifikation von Systemen zur Gewährleistung ihres korrekten Verhaltens. Im Mittelpunkt steht die algorithmische Methode des Model Checkings, die in Kombination mit Algorithmen zur Lösung des Satisfiability-Problems (SAT) eingesetzt wird. In den letzten zehn Jahren hat sich die SAT-basierte Verifikation diskreter Systeme als eine der effektivsten Techniken etabliert, die sowohl in der Industrie als auch in der akademischen Forschung Anwendung findet. Das Buch behandelt die gesamte Bandbreite der Anwendung von SAT-basierten Werkzeugen und schlägt Erweiterungen und Konzepte vor, die sich auf die Kernfunktionen eines SAT-Solvers konzentrieren. Diese Vorschläge werden auf neuartige Verifikationsmodelle übertragen, wobei auch Ansätze beschrieben werden, die die Struktur des Problems einbeziehen, um das während des Verifikationsprozesses gewonnene Wissen auf der Ebene des SAT-Solvers zu nutzen. Ein besonderer Fokus liegt auf der Verifikation unvollständiger Systemdesigns, die beispielsweise in frühen Entwurfsphasen auftreten können. Die vorgestellten SAT-basierten Modellierungskonzepte variieren hinsichtlich ihrer Ausdruckskraft und der benötigten Rechenressourcen und werden experimentell evaluiert, um ihre praktische Anwendbarkeit zu gewährleisten.

Informationen

Lieferzeit:2-4 Werktage
Marke:Südwestdeutscher