PreCA: precondition inference through constraint acquisition
- Proposes to use different Constraint Acquisition algorithms (Conacq, DCA)
- Exhibit a precondition language over pointers (overlap, aliasing ...) and integers
- Gives all scripts to replicate experiments from the papers.