eng: Add Formal Verification chapter

[Andrew.Butterfield at scss.tcd.ie]

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>