Counting Votes with Formal Methods.

Bart Jacobs Engelbert Hubbers Joseph Kiniry Martijn Oostdijk

Published in: AMAST (2004)

Keyphrases

formal methods
formal analysis
model checker
model checking
formal specification
safety critical
artificial intelligence
provably correct
software engineering
knowledge based systems
temporal properties
development lifecycle
voting scheme
expert systems
black box