Hackers News Formal Methods: Just Good Engineering Practice? adminJanuary 10, 20250 Yes. The answer is yes. In your face, Betteridge. Earlier this week, I did the keynote at TLA+ conf 2024…