Temporal Logic in Finite-State Verification
CHF 42.90
Auf Lager
SKU
OF0N92VCL8B
1 Verfügbar
Geliefert zwischen Fr., 19.09.2025 und Mo., 22.09.2025
Details
High Quality Content by WIKIPEDIA articles! In finite-state verification, model checkers examine finite-state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as properties of the system. In the event that the finite-state machine fails to satisfy the property, a model checker is in some cases capable of producing a counterexample ? an execution of the system demonstrating how the error occurs. Property specifications are often written as Linear Temporal Logic (LTL) expressions. Once a requirement is expressed as an LTL formula, a model checker can automatically verify this property against the model.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786130527013
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Genre Mathematik
- Anzahl Seiten 88
- EAN 9786130527013
- Format Fachbuch
- Titel Temporal Logic in Finite-State Verification
- Herausgeber Betascript Publishing
Bewertungen
Schreiben Sie eine Bewertung
