[PATCH 00/18] Adds Formal Verification Material

[Sebastian Huber]

Hello,

I checked in an updated version of the patch set. You find the new files 
here:

https://github.com/RTEMS/rtems-central/tree/master/formal

There is some work in progress to make the test code generation from the 
model files a bit easier. Once this work is done we could try to add it 
to the Github workflow.

The next step is to continue with the integration of the related 
documentation into the RTEMS Software Engineering manual:

https://lists.rtems.org/pipermail/devel/2022-November/073765.html

Kind regards,
     Sebastian

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/