A Framework for the Automatic Formal Verification of Refinement from Cogent to C - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein. A Framework for the Automatic Formal Verification of Refinement from Cogent to C. In Jasmin Christian Blanchette, Stephan Merz, editors, Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Volume 9807 of Lecture Notes in Computer Science, pages 323-340, Springer, 2016. [doi]

This author has not been identified. Look up 'Christine Rizkallah' in GoogleThis author has not been identified. Look up 'Japheth Lim' in GoogleThis author has not been identified. Look up 'Yutaka Nagashima' in GoogleThis author has not been identified. Look up 'Thomas Sewell' in GoogleThis author has not been identified. Look up 'Zilin Chen' in GoogleThis author has not been identified. Look up 'Liam O'Connor' in GoogleThis author has not been identified. Look up 'Toby C. Murray' in GoogleThis author has not been identified. Look up 'Gabriele Keller' in GoogleThis author has not been identified. Look up 'Gerwin Klein' in Google

runs on WebDSL