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