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

Experiential Education and Adolescents Personal and Spiritual Development

$54.99

Municipal Solid Waste Landfill Technology in Japan

$169.99

Brave New World and Brave New World Revisited by Aldous Huxley

$18.99

Untersuchungen zur mutagenen Wirkung von thylnitrosoharnstoff an Nagern und Primaten

$59.99

Berliner Arbeitsnachweis

$44.99

Semantic Digital Libraries

$54.99

Advection and Diffusion in Random Media

$109.99

Therapy Response Imaging in Oncology

$139.99

Revision Total Hip Arthroplasty

$39.99

Implication of Quorum Sensing System in Biofilm Formation and Virulence

$169.99

Holzmann/Meyer/Schumpich Technische Mechanik Festigkeitslehre

$29.99

Advances in Geospatial Technology in Mining and Earth Sciences

$249.99

Global Life Cycle Impact Assessments of Material Shifts

$169.99

Cosmoipolitan Justice

$84.99

Offene Grenzen oder Festung Europa

$69.99

The Adventures of Huckleberry Finn

$2.32

The Psychology of the Human-Animal Bond

$109.00

Factors Influencing Fertility in the Post-Partum Cow

$329.99

Beginning Elastic Stack

$44.99

Type Logical Grammar

$169.99

Kriminalitt im Jahr 2020

$59.99

The Globalization of Chinese Propaganda

$119.99

Wertorientiertes Controlling von Service-orientierten Informationssystemen

$74.99

Infektionen und Intoxikationen

$59.99

The Affordable Care Act as a National Experiment

$29.99

Subterranean Politics in Europe

$54.99

Sinnliche Bildung?

$39.99

Peter Handke

$84.99

Global Governance in the Age of the Anthropocene

$79.99

HDL Deficiency and Atherosclerosis

$54.99

Platelet-Rich Plasma in Dermatologic Practice

$109.99

Plant Argonaute Proteins

$179.99

The Legacy of Hegel

$169.99

Transactions on Computational Collective Intelligence XXVI

$39.99

In Pursuit of Presence or Prominence?

$84.99

Born to Run by Bruce Springsteen

$20.99

Zeitmastbe der Erdgeschichte

$39.99

Queer Blake

$54.99

Culture and Context in World Politics

$109.99

Politische Institutionen im Wandel

$44.99