Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Model Checking
CHF 34.30
Auf Lager
SKU
9DVRVT85FTD
1 Verfügbar 
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026
Details
In the field of logic in computer science, model checking refers to the following problem: Given a model of a system, test automatically whether this model meets a given specification. Typically, the systems one has in mind are hardware or software systems, and the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. In order to solve such a problem algorithmically, both the model of the system and the specification are formulated in some precise mathematical language: To this end, it is formulated as a task in Logic, namely to check whether a given structure satisfies a given logical formula. The concept is general and applies to all kinds of logics and suitable structures. A simple model- checking problem is verifying whether a given formula in the propositional logic is satisfied by a given structure.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130750671
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- EAN 9786130750671
- Format Fachbuch
- Titel Model Checking
- Herausgeber Alphascript Publishing
- Anzahl Seiten 92
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
