Formal Methods: Foundations and Applications

  • Oliveira M
  • Woodcock J
  • Déharbe D
 et al. 
  • 1


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


This paper presents the current state of the formal development of FreeRTOS, a real-time operating system. The goal of this effort is to address a scientific challenge and is realized within the scope of the Grand Challenge on Verified Software. The development is realized with the B method. A model of the main functionalities of the FreeRTOS is now available and can be a starting point to establish an agreed formal specification of FreeRTOS that can be used by the research community.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Marcel Oliveira

  • Jim Woodcock

  • David Déharbe

  • Stephenson Galvão

  • Anamaria Moreira

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free