"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)
Strange Loop Conference · 40:47 · Watch on YouTube
Marianne Bellotti, author of *Kill It With Fire*, presents Fault, her experimental domain-specific language for formal modeling. Her argument is that formal methods are most useful for helping engineers build and shar...