Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
May 2, 2016
Publication Date
October 8, 2014
Subject Category
Computer Programming And Software Meeting Information
Meeting: International Symposium On Leveraging Applications of Formal Methods (ISoLA)
Location: Imperial, Corfu
Country: Greece
Start Date: October 8, 2014
End Date: October 11, 2014
Distribution Limits
Public
Keywords
log analysisScalaruntime verificationdata parameterized events