Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Barringer, Howard (Manchester Univ. MacClesfield, United Kingdom) Falcone, Ylies (Grenoble Univ. France) Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Reger, Giles (Manchester Univ. MacClesfield, United Kingdom) Rydeheard, David (Manchester Univ. MacClesfield, United Kingdom) Date Acquired
August 27, 2013
Publication Date
August 27, 2012
Subject Category
Mathematical And Computer Sciences (General) Meeting Information
Meeting: 18th International Symposium on Formal Methods
Location: Paris
Country: France
Start Date: August 27, 2012
End Date: August 31, 2012
Funding Number(s)
CONTRACT_GRANT: EP/P505208/1
Distribution Limits
Public
Keywords
state machinestrace analysisspecification logicdata parameterizationruntime verification