HaliVer: Deductive Verification and Scheduling Languages Join Forces.
Lars B. van den HaakAnton WijsMarieke HuismanMark van den BrandPublished in: TACAS (3) (2024)
Keyphrases
- grid workflow
- database languages
- scheduling problem
- scheduling algorithm
- expressive power
- face verification
- query optimization
- language independent
- join algorithms
- model checking
- flexible manufacturing systems
- target language
- parallel machines
- abductive inference
- round robin
- formal verification
- grammatical inference
- context free grammars
- query processing
- database systems
- verification method
- programming language
- object oriented