A Mini Challenge: Build a Verifiable Filesystem-Reference-Cited by-同舟云学术

A Mini Challenge: Build a Verifiable Filesystem

Published:2008 Issue: Volume: Page:49-56
ISSN:0302-9743
Container-title:Verified Software: Theories, Tools, Experiments
language:
Short-container-title:

Author:

Joshi Rajeev,Holzmann Gerard J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_6

Reference8 articles.

1. Hoare, T.: The Verifying Compiler: A Grand Challenge for Computing Research. Journal of the ACM 50(1), 63–69 (2003)

2. Workshop on the Verification Grand Challenge, SRI International, Menlo Park, CA (February 2005), http://www.csl.sri.com/users/shankar/VGC05

3. Pnueli, A.: Looking Ahead, Presentation at the Workshop on The Verification Grand Challenge, SRI International, Menlo Park, CA (February 2005), http://www.csl.sri.com/users/shankar/VGC05/pnueli.pdf

4. The Open Group, The POSIX 1003.1, 2003 Edition Specification, http://www.opengroup.org/certification/idx/posix.html

5. Morgan, C., Sufrin, B.: Specification of the UNIX Filing System. IEEE Transactions on Software Engineering SE-10(2), 128–142 (1984)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Local Reasoning for the POSIX File System;Programming Languages and Systems;2014

2. Design and Realization of NAND Flash Based on Embedded Linux System;Advanced Materials Research;2011-03

3. An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model;Lecture Notes in Computer Science;2009

4. Proving Theorems About JML Classes;Formal Methods and Hybrid Real-Time Systems