Items related to Model Checking Abstract State Machines
Synopsis
The benefits of formal methods have been discussed many times in the literature. Production costs can be decreased greatly if errors can be detected in an early phase of design. Accidents, involving majordamage and even loss of lives, can be avoided if systems are working correctly. Nevertheless, the use of formal methods is limited in practice since the trade-off between productivity and reliability isstill too large. This work aims at improving the applicability of the formal approach.To be of practical relevance in the future formal system development must provide 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. It is necessary to bridge this gap. This work contributes with a solution for a particular formal language and a particular kind of tool support for verification. The title ''Model Checking Abstract State Machines summarises the results."
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Search results for Model Checking Abstract State Machines
Seller Image
Model Checking Abstract State Machines
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5647387-n
Stock Image
Model Checking Abstract State Machines
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639018912
Seller Image
Model Checking Abstract State Machines
Published by
VDM Verlag Dr. Mueller E.K., DE, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9783639018912
Buy New
US$ 90.40
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Abstract State Machines
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639018912
Buy New
US$ 88.47
US$ 5.55 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Abstract State Machines
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783639018912
Seller Image
Model Checking Abstract State Machines
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5647387-n
Buy New
US$ 88.46
US$ 20.03 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Model Checking Abstract State Machines
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783639018912
Buy New
US$ 100.46
US$ 38.99 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Model Checking Abstract State Machines
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
New
Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 208. Seller Inventory # 26128749141
Seller Image
Model Checking Abstract State Machines
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. 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. Seller Inventory # 4949851
Buy New
US$ 93.87
US$ 54.58 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Abstract State Machines
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2008
ISBN 10: 3639018915
ISBN 13: 9783639018912
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 208 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam. Seller Inventory # 131805578
Buy New
US$ 144.49
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available