add Formal Verification chapter v5

[Andrew.Butterfield at scss.tcd.ie]

Hello Sebastian,
 Thanks for that, and the  fixes !

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 09/11/2023, 12:47, "Sebastian Huber" <sebastian.huber at embedded-brains.de <mailto:sebastian.huber at embedded-brains.de>> wrote:


Hello Andrew,


thanks for your patience. I checked in the patch set as a single patch. 
I removed all white space at the end of lines and added the TCD 
copyright to the index.


https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df <https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df>


Kind regards,
Sebastian


-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de <mailto:sebastian.huber at embedded-brains.de>
phone: +49-89-18 94 741 - 16
fax: +49-89-18 94 741 - 08


Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/ <https://embedded-brains.de/datenschutzerklaerung/>