Making Hard Fun in Crowdsourced Model Checking - Balancing Crowd Engagement and Efficiency to Maximize Output in Proof by Games.
Kerry MoffittJohn OstwaldRon WatroEric ChurchPublished in: CSI-SE (2015)
Keyphrases
- model checking
- temporal logic
- computer games
- formal verification
- temporal properties
- model checker
- formal specification
- automated verification
- partial order reduction
- symbolic model checking
- formal methods
- computation tree logic
- bounded model checking
- finite state machines
- transition systems
- epistemic logic
- timed automata
- finite state
- concurrent systems
- process algebra
- verification method
- reachability analysis
- pspace complete
- asynchronous circuits
- computational complexity
- game design
- np hard
- software engineering
- optimal policy
- game theory
- video games
- modal logic
- nash equilibrium
- artificial intelligence
- theorem prover