Formal Verification for Mission Assurance in Cyberspace: Education, Tools, and Results

Author:
Shiu-Kai Chin, Erich Devendorf, Sarah Muccio, Susan Older, James Royer
File Size:
598.80 kB
Date:
01 July 2012
Downloads:
1444 x
Formal Verification for Mission Assurance in Cyberspace: Education, Tools, and Results