Inproceedings,

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

, , , , , , , , and .
Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, page 480-501. Springer, (2022)
DOI: 10.1007/978-3-030-99524-9

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews