Streamlining Temporal Formal Verification over Columnar Databases.
Giacomo BergamiPublished in: Inf. (2024)
Keyphrases
- formal verification
- databases
- model checking
- database
- symbolic model checking
- temporal databases
- model checker
- spatio temporal
- bounded model checking
- automated verification
- knowledge discovery
- temporal information
- relational databases
- linear temporal logic
- temporal data
- spatio temporal databases
- database systems
- database applications
- temporal logic
- data management
- spatio temporal data
- data warehouse
- data model
- temporal patterns
- knowledge base
- knowledge representation
- data sources