CfPBoK
by
Vadim Zaytsev
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.