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

Martin Bromberger Irina Dragoste Rasha Faqeh Christof Fetzer Larry González Markus Krötzsch Maximilian Marx Harish K. Murali Christoph Weidenbach

Published in: TACAS (1) (2022)

Keyphrases