Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.
Jannik HülsAnne RemkePublished in: FORTE (2019)
Keyphrases
- model checking
- multiple dimensions
- temporal logic
- finite state machines
- transition systems
- formal verification
- automated verification
- symbolic model checking
- multi dimensional
- convex hull
- formal specification
- bounded model checking
- verification method
- timed automata
- computation tree logic
- model checker
- temporal properties
- state space
- concurrent systems
- epistemic logic
- formal methods
- multi dimensional data
- linear temporal logic
- machine learning
- database
- spatial join
- relational databases
- deterministic finite automaton