Verifying Temporal Heap Properties Specified via Evolution Logic.
Eran YahavThomas W. RepsShmuel SagivReinhard WilhelmPublished in: Log. J. IGPL (2006)
Keyphrases
- temporal evolution
- temporal properties
- data structure
- spatio temporal
- model checking
- formal language
- temporal constraints
- temporal patterns
- linear temporal logic
- logic programming
- temporal behavior
- temporal information
- desirable properties
- structural properties
- temporal consistency
- real time
- spatial and temporal
- space time
- bayesian networks