Download PDFOpen PDF in browserProgram Transformation for Program Verification2 pages•Published: July 25, 2013AbstractWe present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation. In: Alexei Lisitsa and Andrei Nemytykh (editors). VPT 2013. First International Workshop on Verification and Program Transformation, vol 16, pages 13-14.
|