Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By ACM Press

9781450332965
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Recording Completion for Certificates in Equational Reasoning

2015 ◽  
Author(s):  
Thomas Sternagel ◽  
Sarah Winkler ◽  
Harald Zankl
Keyword(s):  
Equational Reasoning

scholarly journals Proving Lock-Freedom Easily and Automatically

2015 ◽  
Author(s):  
Xiao Jia ◽  
Wei Li ◽  
Viktor Vafeiadis

Verified Validation of Program Slicing

2015 ◽  
Author(s):  
Sandrine Blazy ◽  
Andre Maroneze ◽  
David Pichardie
Keyword(s):  
Program Slicing

Practical Tactics for Verifying C Programs in Coq

2015 ◽  
Author(s):  
Jingyuan Cao ◽  
Ming Fu ◽  
Xinyu Feng
Keyword(s):  
C Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document