Automatically Validating Temporal Safety Properties of Interfaces.

Thomas Ball Sriram K. Rajamani

Published in: SPIN (2001)

Keyphrases

temporal properties
spatio temporal
temporal evolution
temporal characteristics
databases
temporal databases
automatically generated
spatial and temporal
temporal patterns
desirable properties
temporal reasoning
database
model checking
high speed
information extraction
user interface
multi agent
data sets