Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By ACM Press

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

Complx: a verification framework for concurrent imperative programs

2017 ◽  
Author(s):  
Sidney Amani ◽  
June Andronick ◽  
Maksym Bortin ◽  
Corey Lewis ◽  
Christine Rizkallah ◽  
...  

scholarly journals Verifying dynamic race detection

2017 ◽  
Author(s):  
William Mansky ◽  
Yuanfeng Peng ◽  
Steve Zdancewic ◽  
Joseph Devietti
Keyword(s):  
Race Detection

scholarly journals Formally verified differential dynamic logic

2017 ◽  
Author(s):  
Brandon Bohrer ◽  
Vincent Rahli ◽  
Ivana Vukotic ◽  
Marcus Völp ◽  
André Platzer
Keyword(s):  
Dynamic Logic

scholarly journals A Coq formal proof of the Lax-Milgram theorem

2017 ◽  
Author(s):  
Sylvie Boldo ◽  
François Clément ◽  
Florian Faissole ◽  
Vincent Martin ◽  
Micaela Mayero
Keyword(s):  
Formal Proof
Load More ...
Sign in / Sign up

Export Citation Format

Share Document