Invariants Synthesis over a Combined Domain for Automated Program Verification

Keyphrases

• Automated Verification 100%
• Invariant Synthesis 100%
• Program Verification 66%
• Loop Invariants 66%
• Program Invariants 66%
• Memory Safety 33%
• Functional Correctness 33%
• Challenging Tasks 33%
• Program Specification 33%
• Heap-manipulating Programs 33%
• Aliasing 33%
• Synthesis Methods 33%
• Procedural 33%
• User Annotation 33%
• Error-prone 33%
• Abstract Domains 33%
• Loop Method 33%
• Program Verifiers 33%
• Abduction 33%
• Automation Level 33%
• Abstract Interpretation 33%
• Post Shape 33%
• Synthesis Algorithm 33%
• Inference Mechanisms 33%
• Shape Templates 33%

Computer Science

• Program Verification 100%
• Postcondition 66%
• Data Structure 33%
• Aliasing 33%
• Program Specification 33%
• Annotation 33%
• Synthesis Technique 33%
• Abstract Interpretation 33%
• Synthesis Algorithm 33%