ping
From: devel <[email protected]> on behalf of "[email protected]" <[email protected]> Date: Friday 10 February 2023 at 16:10 To: "[email protected]" <[email protected]> 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 [email protected] http://lists.rtems.org/mailman/listinfo/devel
