Automated Temporal Verification for Algebraic Effects.
Yahui SongDarius FooWei-Ngan ChinPublished in: APLAS (2022)
Keyphrases
- semi automated
- temporal reasoning
- temporal constraints
- computer aided
- spatio temporal
- temporal evolution
- temporal data
- temporal information
- fully automated
- spatial and temporal
- temporal characteristics
- real time
- computer assisted
- data driven
- digital libraries
- website
- model checking
- space time
- higher order
- context sensitive
- video sequences
- information systems
- artificial intelligence
- face verification
- temporal relations
- neural network
- temporal consistency
- data sets