News for hackers. Stuff that matters.

A comment on Make formal verification and provably correct software practical and mainstream. Parent comment

Re:Make formal verification and provably correct software pr... by dqpb on Saturday May 28, 2022 @06:24PM (#31544393)
State Machines are the natural paradigm in TLA+. OOP is just poorly organized state machines. Try rewriting an OO program with state machines and you’ll have something that directly maps to TLA+, and it should demystify much of formal verification.
[ Parent | on HN ]

There are no comments on this comment yet.