Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.

Edmund M. Clarke Orna Grumberg Kenneth L. McMillan Xudong Zhao

Published in: DAC (1995)

Keyphrases

symbolic model checking
artificial intelligence
multi agent systems
search space
software engineering
orders of magnitude
incomplete information