{"product_id":"specification-and-compositional-verification-of-real-time-systems-von-jozef-hooman","title":"Specification and Compositional Verification of Real-Time Systems","description":"The research described in this monograph concerns the formal\nspecification  and compositional verification of real-time\nsystems. A real-time programminglanguage is considered in\nwhich concurrent processes communicate by         synchronous\nmessage passing along unidirectional channels. To               specifiy\nfunctional and timing properties of programs, two                  formalisms\nare investigated: one using a real-time version of               temporal\nlogic, called Metric Temporal Logic, and another which is\nbasedon extended Hoare triples. Metric Temporal Logic\nprovides a concise notationto express timing properties and\nto axiomatize the programming language,    whereas Hoare-style\nformulae are especially convenient for the verification of\nsequential constructs. For both approaches a compositional\nproof     system has been formulated to verify that a program\nsatisfies a             specification. To deduce timing properties of\nprograms, first maximal       parallelism is assumed, modeling the\nsituation in which each process has itsown processor. Next,\nthis model is generalized to multiprogramming where    several\nprocesses may share a processor and scheduling is based             on\npriorities. The proof systems are shown to be sound and\nrelatively   complete with respect to a denotational semantics\nof the programming        language. The theory is illustrated by an\nexample of a watchdog timer.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540549475\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540549475","offer_id":39426003271773,"sku":"9783540549475","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/187b3712-8b2b-46e1-b53a-4dcc88637a8c.jpg?v=1773555814","url":"https:\/\/shop.autorenwelt.de\/products\/specification-and-compositional-verification-of-real-time-systems-von-jozef-hooman","provider":"Autorenwelt Shop","version":"1.0","type":"link"}