Validating Safety Arguments with Lean.

Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Browse the full SEFM paper archive.