Generating optimal distinguishing sequences with a model checker.

Christopher Robinson-Mallett Peter Liggesmeyer Tilo Mücke Ursula Goltz

Published in: A-MOST (2005)

Keyphrases

model checker
model checking
formal methods
formal verification
dynamic programming
data mining
temporal logic
formal specification
genetic algorithm
optimal solution
image analysis
evolutionary algorithm
software engineering
constraint satisfaction problems
description language