EasyChair Publications
VPT 2013 Volume Information
Volume:Alexei Lisitsa and Andrei Nemytykh (editors)
VPT 2013. First International Workshop on Verification and Program Transformation

VPT 2013 Volume Information

Title:VPT 2013. First International Workshop on Verification and Program Transformation
Editors:Alexei Lisitsa and Andrei Nemytykh
Series:EPiC Series in Computing
Publication date:July 25, 2013


Amir Ben-AmramRanking Functions for Linear-Constraint Loops1-8
Bernd FinkbeinerTransforming Undecidable Synthesis Problems into Decidable Problems9
Jerome LerouxAcceleration For Presburger Petri Nets10-12
Alberto Pettorossi and Maurizio ProiettiProgram Transformation for Program Verification13-14
Simon ThompsonBuilding trustworthy refactoring tools15
Abdulbasit Ahmed, Alexei Lisitsa and Andrei NemytykhCryptographic Protocol Verification via Supercompilation (A Case Study)16-29
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio ProiettiVerification of Imperative Programs through Transformation of Constraint Logic Programs30-41
Geoff HamiltonOn the Termination of Positive Supercompilation42-56
Dominique Mery and Rosemary MonahanTransforming Event B Models into Verified C# Implementations57-73
Antonina NepeivodaPing-Pong Protocols as Prefix Grammars and Turchin Relation74-87


3program transformation
2cryptographic protocols, program verification, supercompilation, verification
1acceleration, algorithm, constraint logic programming, correct by construction, erlang, flatability, hare, haskell, implementation, infinite state systems, petri nets, ping pong protocols, positive supercompilation, prefix rewriting, presburger, program analysis, program specialization, reachability, refactoring, refinement, termination, testing, tool, transformation, turchin relation, unfold/fold transformations, vector addition systems, wrangler