Add Formal Verification chapter v4

[Andrew.Butterfield at scss.tcd.ie]

Dear all,
 I've attached a patch-set for v4 of the proposal to add a formal verification chapter to the Software Engineering manual.
(I can’t do git-mail)

I've setup a pull-request at https://github.com/RTEMS/rtems-docs/pull/6 for review purposes.

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/ <http://www.scss.tcd.ie/Andrew.Butterfield/> 
-------------------------------------------------------------------- 





-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0000-cover-letter.patch
Type: application/octet-stream
Size: 1577 bytes
Desc: v4-0000-cover-letter.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0010.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0001-eng-adds-FV-entries-to-common-bibliography.patch
Type: application/octet-stream
Size: 4315 bytes
Desc: v4-0001-eng-adds-FV-entries-to-common-bibliography.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0011.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0002-eng-adds-fv-overview.patch
Type: application/octet-stream
Size: 2414 bytes
Desc: v4-0002-eng-adds-fv-overview.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0012.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0003-eng-adds-fv-approaches.patch
Type: application/octet-stream
Size: 9003 bytes
Desc: v4-0003-eng-adds-fv-approaches.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0013.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0004-eng-adds-fv-methodology.patch
Type: application/octet-stream
Size: 2592 bytes
Desc: v4-0004-eng-adds-fv-methodology.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0014.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0005-eng-add-fv-tool-setup.patch
Type: application/octet-stream
Size: 10615 bytes
Desc: v4-0005-eng-add-fv-tool-setup.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0015.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0006-eng-adds-fv-promela-documentation.patch
Type: application/octet-stream
Size: 12399 bytes
Desc: v4-0006-eng-adds-fv-promela-documentation.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0016.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0007-eng-adds-fv-refinement-documetation.patch
Type: application/octet-stream
Size: 18704 bytes
Desc: v4-0007-eng-adds-fv-refinement-documetation.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0017.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0008-eng-add-fv-appendix.patch
Type: application/octet-stream
Size: 60423 bytes
Desc: v4-0008-eng-add-fv-appendix.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0018.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: v4-0009-eng-add-new-fv-indexes.patch
Type: application/octet-stream
Size: 1609 bytes
Desc: v4-0009-eng-add-new-fv-indexes.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230718/f8b256f9/attachment-0019.obj>