Proving safety for Linear Leios

[WhatisRT]

• State the safety property generically, so we can use safety of Praos to prove safety of Leios
• Investigate the steps of the proof
• Model any missing properties for the proof steps
• Optionally: Develop networking and computation models that have timing and throughput parameters
• Formalize the proof