Login / Signup
Generating optimal distinguishing sequences with a model checker.
Christopher Robinson-Mallett
Peter Liggesmeyer
Tilo Mücke
Ursula Goltz
Published in:
ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
</>
model checker
model checking
formal verification
temporal logic
dynamic programming
description language
formal methods
symbolic model checking
artificial intelligence
image processing
optimal solution
knowledge representation
distributed systems
orders of magnitude
ai planning
set theory