Building a competitive program verifiers is becoming cheaper. On the front-end side, openly available compiler infrastructure and optimization frameworks take care of hairy problems such as alias a ...
['Temesghen Kahsai', 'Philipp Rümmer', 'Huascar Sanchez', 'Martin Schäf']
JayHorn: A Framework for Verifying Java programs