@inproceedings{bromberger:hal-03531889, TITLE = {{A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic}}, AUTHOR = {Bromberger, Martin and Dragoste, Irina and Faqeh, Rasha and Fetzer, Christof and Kr{\"o}tzsch, Markus and Weidenbach, Christoph}, URL = {https://inria.hal.science/hal-03531889}, BOOKTITLE = {{FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems}}, ADDRESS = {Birmingham, United Kingdom}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {12941}, PAGES = {3-24}, YEAR = {2021}, MONTH = Sep, DOI = {10.1007/978-3-030-86205-3\_1}, HAL_ID = {hal-03531889}, HAL_VERSION = {v1}, }