Concurrent Algorithms and Data Structures for Model Checking (Invited Talk).
Jaco van de PolPublished in: CONCUR (2019)
Keyphrases
- model checking
- invited talk
- algorithms and data structures
- temporal logic
- data structures and algorithms
- data structure
- spatial databases
- model checker
- formal specification
- search tools
- formal verification
- selected papers
- knowledge discovery and data mining
- temporal properties
- automated verification
- process algebra
- verification method
- computation tree logic
- range searching
- symbolic model checking
- transition systems
- asynchronous circuits
- temporally extended
- bounded model checking
- epistemic logic
- formal methods
- description language
- concurrent systems
- machine learning
- alternating time temporal logic
- planning domains
- modal logic
- spatial data
- multi dimensional
- information retrieval