On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.
Simon WinwoodGerwin KleinManuel M. T. ChakravartyPublished in: LOPSTR (2006)
Keyphrases
- spatio temporal
- semi automated
- spatial and temporal
- temporal information
- fully automated
- theorem proving
- temporal evolution
- digital libraries
- temporal reasoning
- temporal constraints
- linear logic
- temporal dimension
- automated analysis
- temporal patterns
- theorem prover
- computer aided
- machine learning
- data driven
- search algorithm
- website
- temporal relations
- data mining
- real world
- temporal consistency
- database