Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Bocchino, Robert L., Jr. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Gamble, Edward (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Gostelow, Kim P. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Some, Raphael R. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
May 2, 2016
Publication Date
October 18, 2014
Subject Category
Computer Programming And Software Meeting Information
Meeting: ACM High-Integrity Language Technology (HILT) 2014
Location: Portland, OR
Country: United States
Start Date: October 18, 2014
End Date: October 21, 2014
Sponsors: Association for Computing Machinery
Distribution Limits
Public
Keywords
validationSPINmodel checkingverificationprogramming languagesconcurrent real-time systemsstateavionics