Verifying Temporal Heap Properties Specified via Evolution Logic.
Eran YahavThomas W. RepsShmuel SagivReinhard WilhelmPublished in: ESOP (2003)
Keyphrases
- temporal evolution
- temporal behavior
- temporal information
- temporal properties
- spatio temporal
- data sets
- desirable properties
- temporal constraints
- temporal reasoning
- model checking
- spatial and temporal
- linear temporal logic
- formal language
- database
- data structure
- knowledge base
- information systems
- artificial intelligence
- real time
- knowledge representation
- multi agent systems
- automated reasoning
- temporal consistency
- neural network