Add Formal Verification chapter v4

[Gedare Bloom]

I've taken a look and resolved / commented. We can leave some of the
`sis` specific bits, with the understanding that hopefully the
simulation target can be made more generic in the future. This could
be a potential GSoC project for Prequalification to hook it up to
`rtems-tools.git/tester` to make use of the capabilities we already
have for running simulators.

On Thu, Sep 21, 2023 at 4:33 AM Andrew.Butterfield at scss.tcd.ie
<Andrew.Butterfield at scss.tcd.ie> wrote:
>
> Hi Gedare,
>  I've made some changes and raised some further queries - I don't know if you get any notifications from github
>
> PR: (https://github.com/RTEMS/rtems-docs/pull/6)
>
> 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/>
> --------------------------------------------------------------------
>
>
>
>
>
> On 14/09/2023, 20:17, "Gedare Bloom" <gedare at rtems.org <mailto:gedare at rtems.org>> wrote:
>
>
> Thanks, I left comments on your pull request.
>
>
> On Wed, Sep 6, 2023 at 7:26 AM 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>> wrote:
> >
> > 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/> <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> <mailto: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> <mailto: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> <mailto: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> <mailto:rtems-devel at rtems.org <mailto:rtems-devel at rtems.org>>" <rtems-devel at rtems.org <mailto:rtems-devel at rtems.org> <mailto: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> <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/>> <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/&gt;>>
> > --------------------------------------------------------------------
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
>
>
>