Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Real-Time and Probabilistic Systems

  • E-Book (pdf)
  • 353 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Prob... Weiterlesen
CHF 100.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999.The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.



Inhalt

Invited Lecture.- Fully Abstract Characterization of Probabilistic May Testing.- Verification of Probabilistic System.- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems.- Root Contention in IEEE 1394.- Model Checking Probabilistic Systems.- Automatic Verification of Real-Time Systems with Discrete Probability Distributions.- ProbVerus: Probabilistic Symbolic Model Checking.- Semantics of Probabilistic Process Calculi.- Process Algebra with Probabilistic Choice.- An Axiomatization of Probabilistic Testing.- Invited Lecture.- Verification of Hybrid Systems.- Semantics of Real-Time Processes.- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.- Comparing the Efficiency of Asynchronous Systems.- Real-Time Compilation.- A Formal Model of Real-Time Program Compilation.- Stochastic Process Algebra.- Specifying Performance Measures for PEPA.- Semi-numerical Solution of Stochastic Process Algebra Models.- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.- Invited Lecture.- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach.- Modeling and Verification of Real-Time Systems.- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal.- Verifying Progress in Timed Systems.- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.- Modelling Timeouts without Timelocks.

Produktinformationen

Titel: Formal Methods for Real-Time and Probabilistic Systems
Untertitel: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
Editor:
EAN: 9783540487784
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 21.05.2003
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 353

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"