Add Formal Verification chapter v4

[Andrew.Butterfield at scss.tcd.ie]

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 at 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-bounces at rtems.org <mailto:devel-bounces at rtems.org>> on behalf of "Andrew.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie>" <Andrew.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie>>
Date: Tuesday 18 July 2023 at 13:54
To: "rtems-devel at rtems.org <mailto:rtems-devel at rtems.org>" <rtems-devel at rtems.org <mailto:rtems-devel at 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 at 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/>> 
--------------------------------------------------------------------