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:5 - 3 self

Documents Related by Co-Citation

574 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
716 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
1448 The model checker SPIN – Gerard J. Holzmann - 1997
516 Domain Theory – Samson Abramsky, Achim Jung - 1994
741 Concurrency and automata on infinite sequences – D Park - 1981
1470 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
2240 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
846 Introduction to metamathematics – S C Kleene - 1952
216 Synthesis of synchronization skeletons for branching time temporal logic – E M Clarke, E A Emerson - 1981