Enhanced verification by temporal decomposition.
Michael L. CaseHari MonyJason BaumgartnerRobert KanzelmanPublished in: FMCAD (2009)
Keyphrases
- spatial and temporal
- spatio temporal
- model checking
- temporal reasoning
- temporal data
- information retrieval
- formal analysis
- formal verification
- temporal databases
- temporal information
- temporal evolution
- temporal ordering
- decomposition methods
- temporal dimension
- person identification
- verification method
- databases
- temporal sequences
- formal methods
- temporal constraints
- space time
- social networks
- learning algorithm
- data mining