A Flow-Insensitive-Complete Program Representation

von Mirliaz, Soléne
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Proof tactics for the verification of structured systems of affine recurrence equations

von Cachera, David
Veröffentlicht 2003

A Fast Verified Liveness Analysis in SSA Form

von Léchenet, Jean-Christophe
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Verified Functional Programming of an Abstract Interpreter

von Franceschino, Lucas
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Static analysis : 27th international symposium, SAS 2020, virtual event, November 18-20, 2020 : proceedings

Veröffentlicht 2020

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs

von Barthe, Gilles
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22 - 26, 2013; proceedings

Veröffentlicht 2013