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.

N� de ref. del art�culo S5-000206

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Specification and Compositional Verification of Real-Time Systems

Editor

Springer-Verlag, Berlin

Fecha de publicaci�n

1991

Idioma

Ingl�s

ISBN 10

0387549471

ISBN 13

9780387549477

Encuadernaci�n

Soft Cover

Estado

New

Cat�logos de vendedores

EDALL

Acerca de

Sinopsis

Book by Hooman J

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Book Booth
OH, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

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...

M�s informaci�n

Condiciones de env�o

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.