Automated Temporal Reasoning about Reactive Systems.

E. Allen Emerson

Published in: Banff Higher Order Workshop (1995)

Keyphrases

reactive systems
model checking
information flow
temporal logic
spatio temporal
qualitative reasoning
temporal reasoning
temporal data
spatial and temporal
temporal information
state machines
temporal patterns
temporal constraints
relational databases
databases
error rate
formal methods
low cost
control flow