On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations

    LICS, pp. 123-132, 2009.

    Cited by: 20|Bibtex|Views2|Links
    EI
    Keywords:
    automatic verification techniquefinite-state abstractionjoint papertwo-variable first-order logicgraduate students e.aMore(16+)

    Abstract:

    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 ...

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments