Three Applications of Formal Methods at MITRE.

Joshua D. Guttman, Dale M. Johnson

Browse the full FM paper archive.