{"product_id":"9783540549475","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eHooman, Jozef\u003c\/h2\u003e \u003cp\u003eThe 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-11-27\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540549475\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54947-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 242\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369901744268,"sku":"9783540549475","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540549475.jpg?v=1773966631","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540549475","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}