News for hackers. Stuff that matters.

A comment on The Case Against Formal Verification, 50 Years Later. Parent comment

Re:The Case Against Formal Verification, 50 Years Later by black_knight on Sunday August 16, 2026 @05:55PM (#49324095)
There are approaches to GUI which are closer to formal specification than what is currently in use. Look at HotDrink for instance: https://tt.utu.fi/soft/hotdrink-gui-programming-with-dataflo...
[ Parent | on HN ]

There are no comments on this comment yet.