Simpler proofs with decentralized invariants - Filliâtre, Jean-Christophe (Journal of logical and algebraic methods in programming, 2021)
Keywords: Automated theorem provers; Computer Science; Deductive verification; Induction; Invariants; Logic in Computer Science; Deductive verification; Automated theorem provers; Induction; Invariants; Automated Theorem Provers; Deductive Verification