Temporal Verification Diagrams.

Zohar Manna Amir Pnueli

Published in: TACS (1994)

Keyphrases

spatio temporal
temporal information
model checking
temporal reasoning
formal verification
spatial and temporal
temporal evolution
real time
temporal patterns
temporal databases
artificial intelligence
temporal relations
temporal logic
verification method
spatial features
databases
data sets