Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Katoen, Jost-Pieter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:1st ed. 1999.
Σειρά:Lecture Notes in Computer Science, 1601
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.