%0 Conference Paper %1 Bromberger2022-jw %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 %B Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022) %D 2022 %E Fisman, Dana %E Rosu, Grigore %I Springer %K topic_knowledge topic_graph %P 480-501 %R 10.1007/978-3-030-99524-9 %T A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic %V 13243

@inproceedings{Bromberger2022-jw, added-at = {2024-09-10T11:56:37.000+0200}, author = {Bromberger, Martin and Dragoste, Irina and Faqeh, Rasha and Fetzer, Christof and Gonz{\'{a}}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/24c5709d76a75b021483762d03940a23b/scadsfct}, booktitle = {Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)}, doi = {10.1007/978-3-030-99524-9}, editor = {Fisman, Dana and Rosu, Grigore}, interhash = {67a74cf0f46485d1d65bdbe34cea5bb4}, intrahash = {4c5709d76a75b021483762d03940a23b}, keywords = {topic_knowledge topic_graph}, pages = {480-501}, publisher = {Springer}, series = {LNCS}, timestamp = {2024-11-22T15:46:23.000+0100}, title = {A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic}, volume = 13243, year = 2022 }