Cogent: Verifying high-assurance file system implementations
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Arthur Leck Sewell, Joseph Tuong, Gabriele Keller, Toby Murray, Gerwin Klein, Gernot Heiser[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS'16
Atlanta, Georgia, USA
Association for Computing Machinery
New York, NY, USA
Pages 175–188
2016
Topic(s): verification os
ASPLOS'16
Atlanta, Georgia, USA
Association for Computing Machinery
New York, NY, USA
Pages 175–188
2016
Topic(s): verification os