most citedA Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2022★ 2 cited

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Martin Bromberger, Irina Dragoste, Rasha Faqeh +6

In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…