Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1601 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal Methods for Real-Time and Probabilistic Systems, Texte imprimé, 9783540660101 • Formal Methods for Real-Time and Probabilistic Systems, Texte imprimé, 9783662193334 |
Indholdsfortegnelse:
- 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.