HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak Anton Wijs Marieke Huisman Mark van den Brand

Published 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