Typestate verification: Abstraction techniques and complexity results.

John Field Deepak Goyal Ganesan Ramalingam Eran Yahav

Published in: Sci. Comput. Program. (2005)

Keyphrases

space complexity
computational complexity
database
real world
computer vision
computational cost
worst case
databases
artificial intelligence
information systems
high level
model checking
decision problems
high computational complexity
bounded model checking