CPALockator: Thread-Modular Analysis with Projections: (Competition Contribution)

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

Deductive Binary Code Verification Against Source-Code-Level Specifications

von Kamkin, Alexander
Veröffentlicht in TAP (14. : 2020 : Online) Tests and proofs (2020)