Efficient deductive methods for program analysis
Abstract
No abstract available.
Related papers
- Multiparty Session Typing in Java, Deductively TACAS 2023
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- Automated Deduction and Formal Methods CAV 1996
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- A Deductive Approach to Program Synthesis TOPLAS 1980
- A Polyvariant Binding-Time Analysis for Off-line Partial Deduction ESOP 1998
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020