Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints

von Piskac, Ruzica
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Verified software : theories, tools, and experiments : 10th international conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers

Veröffentlicht 2018

Verification, model checking, and abstract interpretation : 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings

Veröffentlicht 2019

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities

von Lepiller, Julien
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Solving LIA* Using Approximations

von Levatich, Maxwell
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)