A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach. A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In Boris Konev, Giles Reger, editors, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Volume 12941 of Lecture Notes in Computer Science, pages 3-24, Springer, 2021. [doi]

This author has not been identified. Look up 'Martin Bromberger' in GoogleThis author has not been identified. Look up 'Irina Dragoste' in GoogleThis author has not been identified. Look up 'Rasha Faqeh' in GoogleThis author has not been identified. Look up 'Christof Fetzer' in GoogleThis author has not been identified. Look up 'Markus Krötzsch' in GoogleThis author has not been identified. Look up 'Christoph Weidenbach' in Google

runs on WebDSL