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

218 Automatic verification of probabilistic concurrent finite-state programs – M Vardi - 1985
195 Synthesis of synchronization skeletons for branching time temporal logic – E M CLARKE, E A EMERSON - 1981
100 Abstract Interpretation and Partition Refinement for Model – D R Dams
74 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
96 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
256 Results on the propositional mu–calculus – D Kozen - 1983
131 A modal process logic, in – K G Larsen, B Thomsen - 1988
90 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
10 Model Checking for Hybrid Logics – Massimo Franceschet, Maarten de Rijke - 2003
83 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan - 1997
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
138 On the stochastic structure of parallelism and synchronisation models for distributed algorithms – B Plateau - 1985
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
247 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
47 Model Checking for Probability and Time: From Theory to Practice – Marta Kwiatkowska - 2003