ping
From: devel <devel-boun...@rtems.org> on behalf of "andrew.butterfi...@scss.tcd.ie" <andrew.butterfi...@scss.tcd.ie> Date: Friday 10 February 2023 at 16:10 To: "rtems-de...@rtems.org" <rtems-de...@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@rtems.org http://lists.rtems.org/mailman/listinfo/devel
