Platform for deductive program verification
