%0 Generic %1 https://doi.org/10.48550/arxiv.2201.09769 %A Bromberger, Martin %A Dragoste, Irina %A Faqeh, Rasha %A Fetzer, Christof %A González, Larry %A Krötzsch, Markus %A Marx, Maximilian %A Murali, Harish K %A Weidenbach, Christoph %D 2022 %I arXiv %K (cs.LO), Computer FOS: Logic Science and in information sciences sciences, %R 10.48550/ARXIV.2201.09769 %T A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic %U https://arxiv.org/abs/2201.09769

@misc{https://doi.org/10.48550/arxiv.2201.09769, added-at = {2024-09-10T12:10:36.000+0200}, author = {Bromberger, Martin and Dragoste, Irina and Faqeh, Rasha and Fetzer, Christof and González, Larry and Kr\"{o}tzsch, Markus and Marx, Maximilian and Murali, Harish K and Weidenbach, Christoph}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2d2c164ee60fe90b52c73a23fcc16bd85/scadsfct}, copyright = {arXiv.org perpetual, non-exclusive license}, doi = {10.48550/ARXIV.2201.09769}, interhash = {c8628a901f63ee022888c35446154d0e}, intrahash = {d2c164ee60fe90b52c73a23fcc16bd85}, keywords = {(cs.LO), Computer FOS: Logic Science and in information sciences sciences,}, publisher = {arXiv}, timestamp = {2024-09-10T15:11:13.000+0200}, title = {A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic}, url = {https://arxiv.org/abs/2201.09769}, year = 2022 }