add Formal Verification chapter v5
Andrew.Butterfield at scss.tcd.ie
Andrew.Butterfield at scss.tcd.ie
Tue Nov 14 13:19:56 UTC 2023
Hi Chris,
It looks fine - no major issues.
Thanks for the update
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/11/2023, 05:02, "Chris Johns" <chrisj at rtems.org <mailto:chrisj at rtems.org>> wrote:
On 14/11/2023 7:29 am, Chris Johns wrote:
> On 14/11/2023 3:42 am, Andrew.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie> wrote:
>> Is there a timeline for when the document will be rebuilt to show the new chapter?
>
> I need to run this manually at the moment. I will take a look today.
>
Updated. Please check.
Thanks
Chris
More information about the devel
mailing list