Login / Signup
Formal verification of e-voting: solutions and challenges.
Véronique Cortier
Published in:
ACM SIGLOG News (2015)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
lessons learned
practical solutions
model checker
optimal solution
key issues
real world
artificial intelligence
computational issues
symbolic model checking
functional verification