Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 26)

H-INDEX

1
(FIVE YEARS 1)

Published By ACM

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

scholarly journals Lassie: HOL4 tactics by example

2021 ◽  
Author(s):  
Heiko Becker ◽  
Nathaniel Bos ◽  
Ivan Gavran ◽  
Eva Darulova ◽  
Rupak Majumdar

Formal verification of authenticated, append-only skip lists in Agda

2021 ◽  
Author(s):  
Victor Cacciari Miraldo ◽  
Harold Carr ◽  
Mark Moir ◽  
Lisandra Silva ◽  
Guy L. Steele Jr.
Keyword(s):  
Formal Verification

scholarly journals CertRL: formalizing convergence proofs for value and policy iteration in Coq

2021 ◽  
Author(s):  
Koundinya Vajjha ◽  
Avraham Shinnar ◽  
Barry Trager ◽  
Vasily Pestun ◽  
Nathan Fulton
Keyword(s):  
Policy Iteration ◽  
Convergence Proofs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document