# HG changeset patch
# User mir3636
# Date 1513952960 -32400
# Node ID 490464faf4324dbfdc4df21b00bb03dff33323ab
# Parent  8550077113b98ad7b06873a327d7ba7786bae4a6
fix

diff -r 8550077113b9 -r 490464faf432 Paper/main.pdf
Binary file Paper/main.pdf has changed
diff -r 8550077113b9 -r 490464faf432 Paper/prosym.bib
--- a/Paper/prosym.bib	Fri Dec 22 22:53:23 2017 +0900
+++ b/Paper/prosym.bib	Fri Dec 22 23:29:20 2017 +0900
@@ -16,13 +16,13 @@
     year = 2015
 }
 
-@article{
+%@article{
     llvm,
     title = "LLVM documentation.",
     howpublished = "{http://llvm.org/docs/index.html}"
 }
 
-@article{
+%@article{
     SMT1,
     author = "Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski, Rafal Kolanski, Gernot Heiser"
     title = "Comprehensive Formal Verification of an OS Microkernel"
@@ -30,7 +30,7 @@
     year = 2014
 }
 
-@article{
+%@article{
     SMT2,
     author = "Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood"
     title = "seL4: Formal Verification of an OS Kernel"
@@ -38,7 +38,7 @@
     year = 2009
 }
 
-@article{
+%@article{
     type,
     author = "Jean Yang, Chris Hawblitzel"
     title = "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System"
@@ -46,7 +46,7 @@
     year = 2010
 }
 
-@article{
+%@article{
     ,
     author = "Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjo ̈berg, David Costanzo"
     title = "CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels"
@@ -54,7 +54,7 @@
     year = 2016
 }
 
-@article{
+%@article{
     ,
     author = "Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang"
     title = "Push-Button Verification of File Systems via Crash Refinement"
@@ -62,7 +62,7 @@
     year = 2016
 }
 
-@article{
+%@article{
     ,
     author = "Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang"
     title = "Hyperkernel: Push-Button Verification of an OS Kernel"
@@ -70,7 +70,7 @@
     year = 2017
 }
 
-@article{
+%@article{
     ,
     author = "Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich"
     title = "Using Crash Hoare Logic for Certifying the FSCQ File System"