Login / Signup
Mobile Implementation and Formal Verification of an e-Voting System.
Stefano Campanelli
Alessandro Falleni
Fabio Martinelli
Marinella Petrocchi
Anna Vaccarelli
Published in:
ICIW (2008)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
symbolic model checking
mobile devices
mobile phone
automated verification
context aware
object oriented
efficient implementation
computing environments
mobile applications
m learning
specification language
program slicing