Ping (I've let this sit a while - time to wake it up!)
-------------------------------------------------------------------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@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/> -------------------------------------------------------------------- -----Original Message----- From: devel <devel-boun...@rtems.org <mailto:devel-boun...@rtems.org>> on behalf of "andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>" <andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>> Date: Tuesday 18 July 2023 at 13:54 To: "rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>" <rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>> Subject: Add Formal Verification chapter v4 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 <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@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/> <http://www.scss.tcd.ie/Andrew.Butterfield/> <http://www.scss.tcd.ie/Andrew.Butterfield/>> -------------------------------------------------------------------- _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel