Program Transformation for Program Verification

2 pages•Published: July 25, 2013

Alberto Pettorossi and Maurizio Proietti

Abstract

We 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.

Links:	https://easychair.org/publications/paper/7D
	https://doi.org/10.29007/t9v2

BibTeX entry

@inproceedings{VPT2013:Program_Transformation_Program_Verification,
  author    = {Alberto Pettorossi and Maurizio Proietti},
  title     = {Program Transformation for Program Verification},
  booktitle = {VPT 2013. First International Workshop on Verification and Program Transformation},
  editor    = {Alexei Lisitsa and Andrei Nemytykh},
  series    = {EPiC Series in Computing},
  volume    = {16},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7D},
  doi       = {10.29007/t9v2},
  pages     = {13-14},
  year      = {2013}}

Download PDF Open PDF in browser