Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
November 28, 2001
Subject Category
Computer Programming And Software Distribution Limits
Public
Keywords
security verificationsecurity toolset vulnerability matrix property-based testing model checking