Automated Verification by Induction with Associative-Commutative Operators
No abstract available.
Related papers
- Automating Induction for Solving Horn Clauses CAV 2017
- Automated Verification of Fundamental Algebraic Laws PLDI 2024
- Automated Parameterized Verification of CRDTs CAV 2019
- Automated Verification of Shape and Size Properties Via Separation Logic VMCAI 2007
- Type-Checking CRDT Convergence PLDI 2023
- CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI 2023
- Automated Inductive Verification of Parameterized Protocols CAV 2001
- Verification of semantic commutativity conditions and inverse operations on linked data structures PLDI 2011