Acquisition Source
Jet Propulsion Laboratory
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
May 2, 2016
Publication Date
September 1, 2014
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: NSF CCF-0926190
Distribution Limits
Public
Keywords
runtime verificationXMLmonitorinternal DSLparameterized state machines