Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.