On the compositionality of round abstraction
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Model Checking is an automatic verification technique for state-transition systems that are finite-state or that have finite-state abstractions. In the early 1980's in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we ...