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

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Butler, Michael
  • Conchon, Sylvain
  • Zaidi, Fatiha
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 Mar 2025 00:09
Published Version: https://doi.org/10.1007/978-3-319-25423-4_11
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-319-25423-4_11
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: refinement_based_verification.pdf

Description: refinement-based-verification

CLICK TO DOWNLOAD [thumbnail of refinement-based-verification]

Export

Statistics


CORE (COnnecting REpositories)