tuong / RTEMS-SMP-Formal

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

Geek Repo

Github PK Tool

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

Languages

Language:C 50.2%Language:Promela 20.3%Language:TeX 13.8%Language:Isabelle 7.4%Language:Python 5.2%Language:Haskell 1.4%Language:C++ 0.9%Language:Shell 0.7%Language:Makefile 0.1%