Login / Signup
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