Articles liés à Specification and Compositional Verification of Real-Time...
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540549471
- ISBN 13 9783540549475
- ReliureBroché
- Langueanglais
- Nombre de pages252
Acheter neuf
Afficher cet article
EUR 54,85
EUR 3,57 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Specification and Compositional Verification of Real-Time...
Image fournie par le vendeur
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science)
Edité par
Springer, 1991
ISBN 10 : 3540549471
ISBN 13 : 9783540549475
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. 0387549471 Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-1632
Quantité disponible : 1 disponible(s)
Image d'archives
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170216
Quantité disponible : Plus de 20 disponibles
Image d'archives
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540549475_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Specification and Compositional Verification of Real-Time Systems
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540549471
ISBN 13 : 9783540549475
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Next,this model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer. N° de réf. du vendeur 9783540549475
Quantité disponible : 1 disponible(s)
Image d'archives
Specification and Compositional Verification of Real-Time Systems
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540549475
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Specification and Compositional Verification of Real-Time Systems
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540549471
ISBN 13 : 9783540549475
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along. N° de réf. du vendeur 4893385
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Specification and Compositional Verification of Real-Time Systems
Edité par
Springer Berlin Heidelberg Nov 1991, 1991
ISBN 10 : 3540549471
ISBN 13 : 9783540549475
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Next,this model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer. 252 pp. Englisch. N° de réf. du vendeur 9783540549475
Quantité disponible : 2 disponible(s)