New condition with a remainder mark on the bottom edge. 235pp. Volume 558 in Springer's 'Lecture Notes in Computer Science' series. "The aim of this book is to develop a formal framework for the specification and compositional verification of real-time embedded systems. Thus, in addition to the usual functional behavior, also timing properties of programs are considered. Programs are written in a real-time distributed programming language with synchronous message passing along unidirectional channels between concurrent processes. The language includes real-time constructs to allow the programming of time-outs. To compare different approaches, two formalisms are investigated: Metric Temporal Logic, and Hoare triples (precondition, program, postcondition). The MTL approach provides a concise notation to express timing properties and to axiomatize the programming language, whereas Hoare-style formulae are especially convenient for the verification of sequential constructs. For both frameworks a compositional proof system is formulated to verify programs, making it possible to split up correctness proofs and to verify design steps during the process of program design.

Bestandsnummer des Verk�ufers S5-000206

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Specification and Compositional Verification of Real-Time Systems

Verlag

Springer-Verlag, Berlin

Ver�ffentlichungsdatum

1991

Sprache

Englisch

ISBN-10

0387549471

ISBN-13

9780387549477

Bindung

Soft Cover

Zustand

New

Verk�uferkataloge

EDALL

�ber diesen Titel

Inhaltsangabe

Book by Hooman J

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Book Booth
OH, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Checks and money orders are also accepted; please make checks or money orders payable to
Carol Casciani
441 W. Bagley Rd.
#173
Berea OH 44017

International orders must be pay...

Mehr Information

Versandbedingungen

Payment accepted via credit card, check/money order, or PayPal. Credit cards accepted via ABEbooks or PayPal ONLY -- please do not send us your credit card information, as we have no way of processing it ourselves. Our PayPal account is bookbooth@usa.com. If paying via PayPal, please remember to include shipping & handling charges. Checks and money orders are also accepted; please make them payable to: C.M. Casciani, 441 W. Bagley Rd. #173, Berea OH 44017. Library and institutional orders welcome; please email us if you require any special handling. International orders must be payable in US dollars. SHIPPING & HANDLING: all books shipped in USA via USPS; Media Mail 7-14 business days for delivery, $4.00 for first book - $1.50 each additional book; or, Priority Mail 2-4 business days for delivery, $6.00 first book - $2.50 each additional book. Returns for reasonable grading of condition; email us prior to return for shipping instructions.