{"product_id":"specification-and-seamless-verification-of-maria-spichkova-9783836494526","title":"Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on Isabelle","description":"The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle\/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification\/validation methodologies are treated as a single, joined, methodology with the main focus on the specification part. The key contributions of the thesis are + Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle\/HOL. \"Focus on Isabelle\" enables to validate and verify system specifications in a methodological way. + Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle\/HOL includes all these extensions. + Schemata for automatic correctness proofs in Isabelle\/HOL of the syntactic interfaces for specified system components.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Maria Spichkova\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3836494523\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783836494526\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e VDM Verlag Dr. Mueller E.K.\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 04\/17\/2008\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 292\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.87lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.61d","brand":"Maria Spichkova","offers":[{"title":"Paperback","offer_id":47305558753535,"sku":"9783836494526","price":85.32,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_4a03fc85-f26c-4b2d-b9cf-74d0623db100.jpg?v=1758831217","url":"https:\/\/www.whiterainbookhouse.com\/products\/specification-and-seamless-verification-of-maria-spichkova-9783836494526","provider":"WR Book House","version":"1.0","type":"link"}