Skip to content

Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects

Notifications You must be signed in to change notification settings

tuong/RTEMS-SMP-Formal

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

RTEMS SMP Formal

This repository contains the models and tooling developed as part of the ESA-sponsored activity Qualification of RTEMS Symmetric Multiprocessing (SMP), as well as result of ongoing contributions by students at Trinity College Dublin to improve and extend them.

Contributors

  • Andrew Butterfield
  • Frédéric Tuong
  • Robert Jennings
  • Jerzy Jaśkuć
  • Eoin Lynch
  • James Gooding Hunt

License

This project is licensed under the BSD-2-Clause or CC-BY-SA-4.0.

About

Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 50.2%
  • Promela 20.3%
  • TeX 13.8%
  • Isabelle 7.4%
  • Python 5.2%
  • Haskell 1.4%
  • Other 1.7%