Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540466024
Condition
New
Product Description

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic, and another which is basedon extended Hoare triples. Metric Temporal Logic provides a concise notationto express timing properties and to axiomatize the programming language, whereas Hoare-style formulae are especially convenient for the verification of sequential constructs. For both approaches a compositional proof system has been formulated to verify that a program satisfies a specification. To deduce timing properties of programs, first maximal parallelism is assumed, modeling the situation in which each process has itsown processor. Next, this model is generalized to multiprogramming where several processes may share a processor and scheduling is based on priorities. The proof systems are shown to be sound and relatively complete with respect to a denotational semantics of the programming language. The theory is illustrated by an example of a watchdog timer.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Energy Technology 2024

$169.00

Screening auf angeborene endokrine und metabole Strungen

$49.99

Supermarket Wars

$39.99

Proceedings of the Third European Conference on Computer-Supported Cooperative Work 1317 September

$219.99

Concert of Europe

$74.99

Prospects and Risks Beyond EU Enlargement

$54.99

Migration and Mobility

$39.99

The European Monetary System

$39.99

Proceedings of the 5th International Conference on Frontiers in Intelligent Computing: Theory and Ap

$379.99

Information Access Evaluation -- Multilinguality, Multimodality, and Interaction

$54.99

The Franciscan Invention of the New World

$129.99

Leading Solutions

$69.99

Approaches to Handling Environmental Problems in the Mining and Metallurgical Regions

$109.99

Praxisbuch Schulfreiraum

$59.99

Magic and Warfare

$54.99

Organisationsformen des Wertpapierhandels

$69.95

Field Programmable Logic and Applications

$39.99

Optical Properties of Ions in Solids

$39.99

Antes y ahora

$3.71

Beauty and the Beast

$5.96

Vorbereitungskurs Staatsexamen Mathematik

$34.99

Methodological and Historical Essays in the Natural and Social Sciences

$54.99

Bildungsmanagement in Unternehmen

$69.95

International Classification of Rodent Tumors. The Mouse

$129.99

Studies in Modern American Autobiography

$14.99

Strategic Supply Chain Management

$129.99

Jan Mayen Island in Scientific Focus

$249.99

Measures of Association for Cross Classifications

$39.99

Expert Oracle9i Database Administration

$59.99

In the Name of the Nation

$39.99

Clinical and Surgical Aspects of Congenital Heart Diseases

$129.99

Welfare Reform in America

$109.99

Organometallic Fluorine Chemistry

$329.99

Adaptive Networks

$84.99

Die Unternehmensberatung

$69.99

Polarimetric Synthetic Aperture Radar

$179.99

Dngung der Kulturpflanzen

$44.99

Linear Algebra, Signal Processing, and Wavelets - A Unified Approach

$79.99

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

$84.99

Pro Visual Studio 2005 Team System Application Development

$49.99