Tackling Large Verification Problems with the Swarm Tool.

Gerard J. Holzmann Rajeev Joshi Alex Groce

Published in: SPIN (2008)

Keyphrases

databases
decision problems
benchmark problems
difficult problems
database
information retrieval
genetic algorithm
search engine
case study
artificial neural networks
state space
linear programming
np complete
model checking