On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
LICS, pp. 123-132, 2009.
automatic verification techniquefinite-state abstractionjoint papertwo-variable first-order logicgraduate students e.aMore(16+)
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 ...
Full Text (Upload PDF)
PPT (Upload PPT)