eng: Add Formal Verification chapter v3

Andrew.Butterfield at scss.tcd.ie Andrew.Butterfield at scss.tcd.ie
Fri Feb 10 16:10:28 UTC 2023


Dear RTEMS Developers,
Here is a 3rd version of the proposed Formal Verification chapter
 to be added to the Software Engineering Manual.

The patch-set is attached here, as I cannot use git-mail.

Best Regards,
  Andrew


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0000-cover-letter.patch
Type: application/octet-stream
Size: 2394 bytes
Desc: 0000-cover-letter.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0006.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-updates-common-references.patch
Type: application/octet-stream
Size: 20515 bytes
Desc: 0001-updates-common-references.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0007.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-converts-formal-model-guide-to-an-appendix.patch
Type: application/octet-stream
Size: 45640 bytes
Desc: 0002-converts-formal-model-guide-to-an-appendix.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0008.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-adds-main-text-sections.patch
Type: application/octet-stream
Size: 61506 bytes
Desc: 0003-adds-main-text-sections.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0009.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0004-modifies-top-level-index-and-adds-in-sub-index-files.patch
Type: application/octet-stream
Size: 2185 bytes
Desc: 0004-modifies-top-level-index-and-adds-in-sub-index-files.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0010.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0005-updates-glossary.patch
Type: application/octet-stream
Size: 3524 bytes
Desc: 0005-updates-glossary.patch
URL: <http://lists.rtems.org/pipermail/devel/attachments/20230210/aca68bf0/attachment-0011.obj>


More information about the devel mailing list