An engineering process for the verification of real-time systems

Burns, A. and Lin, T. -M. (2006) An engineering process for the verification of real-time systems. Formal Aspects of Computing, 19 (1). pp. 111-136. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
  • Burns, A.
  • Lin, T. -M.
Keywords: Scheduling analysis - Ravenscar profile - Model checking - UPPAAL - SPARK - Ada95 - Rely/guarantee conditions
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 12 Aug 2009 13:02
Last Modified: 12 Aug 2009 13:02
Published Version: http://dx.doi.org/10.1007/s00165-006-0021-4
Status: Published
Publisher: Springer Science + Business Media
Identification Number: https://doi.org/10.1007/s00165-006-0021-4

Share / Export

Statistics