Complexity of pattern-based verification for multithreaded programs.

Javier Esparza Pierre Ganty

Published in: POPL (2011)

Keyphrases

model checking
space complexity
symbolic execution
genetic algorithm
knowledge base
worst case
decision problems
programming environment
formal verification
database
information systems
bayesian networks
expert systems
complexity analysis
face verification
functional verification