TY  - RPRT
TI  - A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
AU  - Martin Bromberger
AU  - Irina Dragoste
AU  - Rasha Faqeh
AU  - Christof Fetzer
AU  - Larry González
AU  - Markus Krötzsch
AU  - Maximilian Marx
AU  - Harish K Murali
AU  - Christoph Weidenbach
PY  - 2022
UR  - https://arxiv.org/abs/2201.09769
ID  - 2201.09769
ER  -