Login / Signup
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
Matteo Pradella
Angelo Morzenti
Pierluigi San Pietro
Published in:
ESEC/SIGSOFT FSE (2007)
Keyphrases
</>
temporal properties
model checking
formal methods
temporal logic
historical information
business intelligence
formal specification
artificial intelligence
real world
past experience
symmetry detection
decision making
possibility theory