Automated Symbolic Proofs of Observational Equivalence.

David A. Basin Jannik Dreier Ralf Sasse

Published in: CCS (2015)

Keyphrases

semi automated
automated theorem provers
fully automated
high level

symbolic representation
data driven
computer aided
computer assisted

context sensitive
automated analysis
formal proof
information retrieval

website
rough sets
modal logic
decision procedures