eng: Add Formal Verification chapter
Andrew.Butterfield at scss.tcd.ie
Andrew.Butterfield at scss.tcd.ie
Tue Sep 13 08:48:37 UTC 2022
Dear RTEMS Developers,
The attached patch file adds a new Formal Verification chapter as discussed in the previous email thread
regarding "Integrating the Formal Methods part of Qualification"
(see https://lists.rtems.org/pipermail/devel/2022-July/072167.html ).
This is just the documentation for what was done. None of the files or tools mentioned are contained
in the patch. Most of those would be deployed to rtems-central or the "main" rtems repo.
Best Regards,
Andrew
--------------------------------------------------------------------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero at TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-eng-Add-Formal-Verification-chapter.patch
Type: application/octet-stream
Size: 95599 bytes
Desc: 0001-eng-Add-Formal-Verification-chapter.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20220913/ce3698ce/attachment-0001.obj>
More information about the devel
mailing list