Add Formal Verification chapter v3

[Gedare Bloom]

Hi Andrew,

In this case, since the patches are attachments, would you happen to
have a hosted git (github?) repo that I could examine to facilitate a
review. I can only review inline patches efficiently by email.

Gedare

On Thu, Mar 9, 2023 at 6:52 AM Andrew.Butterfield at scss.tcd.ie
<Andrew.Butterfield at scss.tcd.ie> wrote:
>
> ping
>
>
>
>
>
> From: devel <devel-bounces at rtems.org> on behalf of "Andrew.Butterfield at scss.tcd.ie" <Andrew.Butterfield at scss.tcd.ie>
> Date: Friday 10 February 2023 at 16:10
> To: "rtems-devel at rtems.org" <rtems-devel at rtems.org>
> Subject: eng: Add Formal Verification chapter v3
>
>
>
> 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
>
>
>
>
>
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel