Typestate Verification: Abstraction Techniques and Complexity Results.

John Field Deepak Goyal G. Ramalingam Eran Yahav

Published in: SAS (2003)

Keyphrases

high level
computational complexity
real world
face verification
np hard
formal verification
databases
high computational complexity
space complexity
decision problems
distributed systems
programming language
state space
computational cost
evolutionary algorithm
website
artificial intelligence
genetic algorithm