Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

372 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI) Wissensbasierte Systeme, Expertensysteme
• ISBN: 9783540660101
• Sprache: Englisch
• Erscheinungsdatum: 12.05.1999
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Jost-Pieter Katoen