Reading List Abstract Interpretation in Coq Skeletal Semantics and their Interpretations https://martin.kleppmann.com/2022/10/12/verifying-distributed-systems-isabelle.html Program Obfuscation Coq Compcert Memory Model Incorrectness logic Interaction trees Written on April 21, 2024
