Refinement-Based Verification of the FreeRTOS Scheduler in VCC

Woodcock, James Charles Paul orcid.org/0000-0001-7955-2702, Divakaran, Sumesh, D'Souza, Deepak et al. (3 more authors) (2015) Refinement-Based Verification of the FreeRTOS Scheduler in VCC. In: Butler, Michael, Conchon, Sylvain and Zaidi, Fatiha, (eds.) Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015. Lecture Notes in Computer Science . Springer , pp. 170-186.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2015. Springer International Publishing Switzerland. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Dates:
  • Published: 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 16 Jun 2016 12:02
Last Modified: 06 Dec 2023 09:57
Published Version: https://doi.org/10.1007/978-3-319-25423-4_11
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-319-25423-4_11

Download

Published Version

Filename: refinement_based_verification.pdf

Description: refinement-based-verification

CLICK TO DOWNLOAD [img]

Export

Statistics


CORE (COnnecting REpositories)