03625oam 2200613 450 99646530910331620210715200528.03-540-48778-610.1007/3-540-48778-6(CKB)1000000000211157(SSID)ssj0000323222(PQKBManifestationID)11268145(PQKBTitleCode)TC0000323222(PQKBWorkID)10312543(PQKB)11549890(DE-He213)978-3-540-48778-4(MiAaPQ)EBC3073175(MiAaPQ)EBC6485992(PPN)155186841(EXLCZ)99100000000021115720210715d1999 uy 0engurnn|008mamaatxtccrFormal methods for real-time and probabilistic systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /Jost-Pieter Katoen1st ed. 1999.Berlin, Heidelberg :Springer,[1999]©19991 online resource (X, 362 p.) Lecture Notes in Computer Science ;1601Bibliographic Level Mode of Issuance: Monograph3-540-66010-0 Includes bibliographical references at the end of each chapters and index.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.Lecture notes in computer science ;1601.Formal methods (Computer science)CongressesReal-time data processingCongressesComputer scienceFormal methods (Computer science)Real-time data processingComputer science.004.0151Katoen Jost-PieterKatoen Joost-Pieter312040International AMAST Workshop, ARTS'99MiAaPQMiAaPQUtOrBLWBOOK996465309103316Formal methods for real-time and probabilistic systems2860214UNISA