sle2018/keynote1

SLE 2018 keynote:
A New Approach for Software Correctness and Reliability

Martin C. Rinard

• DOI: 10.1145/3276604.3284957
• T5D: Formal Methods
  • As a keynote focused on correctness/reliability, it is primarily grounded in formal methods and rigorous reasoning about software behaviour.
• T4A: Workbenches
  • It includes substantial tool support or infrastructure relevant for engineering/using languages.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.