First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alexei Lisitsa, Andrei P. Nemytykh, editors, First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. Volume 16 of EPiC Series, EasyChair, 2013. [doi]

Conference: CAV2013

Abstract is missing.

Ranking Functions for Linear-Constraint LoopsAmir M. Ben-Amram. 1-8 [doi]

Transforming Undecidable Synthesis Problems into Decidable ProblemsBernd Finkbeiner. 9 [doi]

Acceleration For Presburger Petri NetsJérôme Leroux. 10-12 [doi]

Program Transformation for Program VerificationAlberto Pettorossi, Maurizio Proietti. 13-14 [doi]

Building trustworthy refactoring toolsSimon Thompson. 15 [doi]

Cryptographic Protocol Verification via Supercompilation (A Case Study)Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh. 16-29 [doi]

Verification of Imperative Programs through Transformation of Constraint Logic ProgramsEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 30-41 [doi]

On the Termination of Positive SupercompilationGeoff Hamilton. 42-56 [doi]

Transforming Event B Models into Verified C# ImplementationsDominique Méry, Rosemary Monahan. 57-73 [doi]

Ping-Pong Protocols as Prefix Grammars and Turchin RelationAntonina Nepeivoda. 74-87 [doi]

runs on WebDSL