Abstract :
The following topics are dealt with: CTL model checking; temporal databases; temporal logic; natural language; and interval algebra.
Keywords :
algebra; formal verification; natural languages; temporal databases; temporal logic; CTL model checking; interval algebra; natural language; temporal database; temporal logic;
Conference_Titel :
Temporal Representation and Reasoning, 2009. TIME 2009. 16th International Symposium on
Conference_Location :
Bressanone-Brixen
Print_ISBN :
978-0-7695-3727-6
DOI :
10.1109/TIME.2009.1
