@misc{xv6,
title     = "{Xv6, a simple Unix-like teaching operating system}",
note = "(2019年10月19日閲覧)",
howpublished    = {\url{https://pdos.csail.mit.edu/6.828/2019/xv6.html}},
}

@article{GearsOS,
    author = "伊波立樹 and  河野真治",
    title = "Gears OS の並列処理",
    journal = "琉球大学工学部情報工学科平成30年度学位論文(修士)",
    year = 2018
}

@article{CbC,
    author = "宮城光希 and  河野真治",
    title = "継続を基本とした言語による OS のモジュール化",
    journal = "琉球大学工学部情報工学科平成31年度学位論文(修士)",
    year = 2019
}

@article{
    agda-ryokka,
    author = "Hokama MASATAKA and Shinji KONO",
    title = "GearsOS の Hoare Logic をベースにした検証手法",
    journal = "ソフトウェアサイエンス研究会",
    month = "Jan",
    year = 2019
}

@inproceedings{Chen:2015:UCH:2815400.2815402,
 author = {Chen, Haogang and Ziegler, Daniel and Chajed, Tej and Chlipala, Adam and Kaashoek, M. Frans and Zeldovich, Nickolai},
 title = {Using Crash Hoare Logic for Certifying the FSCQ File System},
 booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
 series = {SOSP '15},
 year = {2015},
 isbn = {978-1-4503-3834-9},
 location = {Monterey, California},
 pages = {18--37},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/2815400.2815402},
 doi = {10.1145/2815400.2815402},
 acmid = {2815402},
 publisher = {ACM},
 address = {New York, NY, USA},
}