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@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/
--------------------------------------------------------------------
0001-eng-Add-Formal-Verification-chapter.patch
Description: 0001-eng-Add-Formal-Verification-chapter.patch
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
