Formal Verification of a Real-Time Operating System
Formal Verification of a Real-Time Operating System
Formal Verification of a Real-Time Operating System
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Formal</strong> <strong>Verification</strong> <strong>of</strong> a <strong>Real</strong>-<strong>Time</strong><br />
<strong>Operating</strong> <strong>System</strong><br />
Providing a Provable Guarantee <strong>of</strong> Correctness<br />
Gadi Tellez<br />
University <strong>of</strong> Saskatchewan<br />
Second Year Master Student<br />
gat313@mail.usask.ca
A theorem proving approach to prove safety<br />
and deterministic properties <strong>of</strong> FreeRTOS.