Foundations of Real-Time Computing: Formal Specifications and Methods

This volume contains a selection of papers that focus on the state—of­ the—art in formal specification and verification of real—time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real—time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real—Time Computing: Scheduling and Resource Management complements this hook by addressing many of the rece...