Towards Practical Partial Order Reduction for High-Level Formalisms.
Philipp KörnerMichael LeuschelPublished in: VSTTE (2022)
Keyphrases
- high level
- partial order reduction
- low level
- model checking
- programming language
- logic programming
- neural network
- machine learning
- databases
- mid level
- data sets
- data structure
- database
- real time
- practical problems
- lower level
- practical application
- low level features
- petri net
- semantic information
- higher level
- multi agent systems
- image processing
- social networks
- learning algorithm