Author:
Maeda Toshiyuki,Yonezawa Akinori
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)
2. ECMA: ECMA-334: C# Language Specification (2002)
3. Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997)
4. Yang, J., Twohey, P., Engler, D., Musuvathi, M.: Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24(4), 393–423 (2006)
5. Bevier, W.R.: Kit: A study in operating system verification. IEEE Trans. Softw. Eng. 15(11), 1382–1396 (1989)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular verification of preemptive OS kernels;Journal of Functional Programming;2013-07
2. Modular verification of preemptive OS kernels;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19
3. Modular verification of preemptive OS kernels;ACM SIGPLAN Notices;2011-09-18