Complx: a verification framework for concurrent imperative programs

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

10.1145/3018610.3018627 ◽

2017 ◽

Author(s):

Sidney Amani ◽

June Andronick ◽

Maksym Bortin ◽

Corey Lewis ◽

Christine Rizkallah ◽

...

Download Full-text