Technical report
Result certification for relational program analysisCertified checker
If you want to have a look to the certified checker, play with the benchs and see proof by reflection in action, download this !
If you wan to see the source Java programs used for our benchs, follow this link.