Formal Verification and Solutions for Estonian E-Voting.

Sevdenur Baloglu Sergiu Bursuc Sjouke Mauw Jun Pang

Published in: AsiaCCS (2024)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
optimal solution
temporal logic
voting schemes
solution space
orders of magnitude
benchmark problems