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
• Θέματα: Computers.; Software engineering.; Computer engineering.; Computer logic.; Special purpose computers.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computer Engineering.; Logics and Meanings of Programs.; Software Engineering.; Special Purpose and Application-Based Systems.

Πίνακας περιεχομένων:

• 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.