Program proof
5 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Program proofHeap verificationSoftware verification
program-analysis
- Predicate abstractionstandalonespecialistprogram-analysis
- Hoare logic verificationWeakest preconditionstandardprogram-analysis
- Separation logicFrame-rule reasoningspecialistprogram-analysis
- Shape analysisThree-valued logic abstractionspecialistprogram-analysis
- Bi-abductionCompositional footprint inferencespecialistprogram-analysis