Scalable verification of GNN-based job schedulers.

Haoze Wu Clark W. Barrett Mahmood Sharif Nina Narodytska Gagandeep Singh

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

model checking
lightweight
data mining
formal verification
verification method
databases
genetic algorithm
artificial intelligence
objective function
scheduling algorithm
processing times
formal methods
highly scalable
systems analysts
person identification