Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {},
pages = {480-501},
publisher = {Springer},
series = {LNCS},
timestamp = {2024-09-10T15:15:57.000+0200},
title = {A Sorted Datalog Hammer for Supervisor Verification Conditions
Modulo Simple Linear Arithmetic},
volume = 13243,
year = 2022
}