Formal verification of an O.S. submodule

Pendharkar, NS and Gopinath, K (1998) Formal verification of an O.S. submodule. In: 18th Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS98 (Lecture Notes in Computer Science), 17-19 Dec. 1998, Chennai, India, Vol. 1530, 197-208.

PDF Formal_Verification_of_an_O.S._Submodule.pdf Restricted to Registered users only Download (192kB) | Request a copy

Abstract

The verification of concurrent systems with a large number of interacting components poses a significant challenge to the existing verification methodologies. We consider in this paper the formal verification of buffer cache algorithms of SVR3-type Unix systems using PVS

Item Type:	Conference Paper
Publisher:	Springer-Verlag
Additional Information:	copyright of this article belongs to Springner-Verlag.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	11 Aug 2008
Last Modified:	19 Sep 2010 04:35
URI:	http://eprints.iisc.ac.in/id/eprint/10046

Actions (login required)

View Item