Model Checking Abstract State Machines
(Sprache: Englisch)
The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors can be detected in an early phase of design. Accidents,involving major damage and even loss of lives, can be avoided ifsystems...
Leider schon ausverkauft
versandkostenfrei
Buch
79.00 €
39 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Model Checking Abstract State Machines “
Klappentext zu „Model Checking Abstract State Machines “
The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors can be detected in an early phase of design. Accidents,involving major damage and even loss of lives, can be avoided ifsystems are working correctly. Nevertheless, the use of formalmethods is limited in practice since the trade-off betweenproductivity and reliability is still too large. This work aims atimproving the applicability of the formal approach. To be ofpractical relevance in the future formal system development mustprovide support for modelling and analysis. Currently, however,there is a discrepancy between tools that are easy to use due toautomation and languages that nicely support the modelling task. Itis necessary to bridge this gap. This work contributes with asolution for a particular formal language and a particular kind oftool support for verification. The title ``Model Checking AbstractState Machines\" summarises the results.
Autoren-Porträt von Kirsten Winter
Kirsten Winter studied Computer Science at the University ofErlangen/Nuernberg and the University of Freiburg (at theInstitute of Computer Science and Social Research, IIG). She receivedthe Ph.D. degree in computer science from the Technical UniversityBerlin, in 2001. She currently holds a position as a researchfellow at the University of Queensland, Australia. Her researchinterests includes the verification of software and hardware systems,mainly model checking, as well as formal modelling notations.
Bibliographische Angaben
- Autor: Kirsten Winter
- 2008, 208 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller
- ISBN-10: 3639018915
- ISBN-13: 9783639018912
Sprache:
Englisch
Kommentar zu "Model Checking Abstract State Machines"
0 Gebrauchte Artikel zu „Model Checking Abstract State Machines“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Model Checking Abstract State Machines".
Kommentar verfassen