Login / Signup
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
Martin Bromberger
Irina Dragoste
Rasha Faqeh
Christof Fetzer
Markus Krötzsch
Christoph Weidenbach
Published in:
CoRR (2021)
Keyphrases
</>
simple linear
expressive power
deductive databases
multi class
hyperplane
query language
model checking
query answering
image processing
datalog programs