Possibilistic and Probabilistic Abstraction-Based Model Checking (2002)

Cached

Download Links

by Michael Huth
Venue:Process Algebra and Probabilistic Methods, Performance Modeling and Veri Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science
Citations:4 - 2 self

Documents Related by Co-Citation

190 Automatic verification of probabilistic concurrent finite-state systems – M Y Vardi - 1985
184 Synthesis of Synchronization Skeletons for Branching Time Temporal Logic – E M Clarke, E A Emerson - 1981
90 Abstract Interpretation and Partition Refinement for Model Checking – D Dams - 1996
80 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
94 A Modal Process Logic – K G Larsen, B Thomsen - 1988
65 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
221 Results on the propositional mu-calculus – D Kozen - 1983
75 Modal Transition Systems: A Foundation for Three-Valued Program Analysis – Michael Huth, Radha Jagadeesan, David A. Schmidt - 2000
1 Symbolic Model Checking of Probablistic Processes using MTBBDs and the Kronecker Representation – L de Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala - 2000
1 Modal transition systems: a foundation for 3-valued program analysis – M Huth, R Jagadeesan, D A Schmidt - 2001
2 11] Internet RFC-1305. Network Time Protocol Specification Version 3. http://www.landfield. com/rfcs/rfc1305.html – unknown authors - 1996
9 Model Checking for Hybrid Logics – Massimo Franceschet, Maarten de Rijke - 2003
110 On the stochastic structure of parallelism and synchronization models for distributed algorithms – B Plateau - 1985
465 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
71 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan, Universität Mannheim - 1997
28 Automatic Abstraction Using Generalized ModelChecking”. Pages 137–150 of: CAV ’02 – P Godefroid, R Jagadeesan
2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
575 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
192 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994