formal

Formal Methods: Just Good Engineering Practice?

Yes. The answer is yes. In your face, Betteridge. Earlier this week, I did the keynote at TLA+ conf 2024…

Read More »