add Formal Verification chapter v5

[Andrew.Butterfield at scss.tcd.ie]

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