Skip to main content
Conference ProceedingsOPEN ACCESS

A formal method experience at secure computing corporation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1998) 1427 LNCS 49-56
DOI: 10.1007/bfb0028731
1Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We discuss the formal methods efforts for LOCK6, a secure operating system. We emphasize how the process of formal methods fit into the development process as a whole, and discuss the lessons learned from our experience.

Cite

CITATION STYLE

APA

Hoffman, J., & Payne, C. (1998). A formal method experience at secure computing corporation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1427 LNCS, pp. 49–56). Springer Verlag. https://doi.org/10.1007/bfb0028731

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free