Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Framework for the Automatic Formal Verification of Refinement from Cogent to C Christine Rizkallah4 , Japheth Lim1 , Yutaka Nagashima1 , Thomas Sewell1,2 , Zilin Chen1,2 , Liam O’Connor1,2 , Toby Murray1,3 , Gabriele
Add to Reading List
Document Date: 2016-08-30 03:42:26
Open Document
File Size: 633,80 KB
Share Result on Facebook
A Framework for the Automatic Formal Verification of Refinement from Cogent to C Christine Rizkallah4 , Japheth Lim1 , Yutaka Nagashima1 , Thomas Sewell1,2 , Zilin Chen1,2 , Liam O’Connor1,2 , Toby Murray1,3 , Gabriele