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 IsTom on Sunday August 16, 2026 @05:02PM (#49323642)
Anything with a GUI seems really daunting to specify. And then later you need to update specs to match GUI if you make any changes and you need to decide which is wrong: the implementation of the specification.
[ Parent | on HN ]
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 ]
Re:The Case Against Formal Verification, 50 Years Later by sincerely on Sunday August 16, 2026 @05:29PM (#49323882)
I’m not even sure what would be gained by formal verification of a GUI
[ Parent | on HN ]
Re:The Case Against Formal Verification, 50 Years Later by IsTom on Monday August 17, 2026 @06:19AM (#49328724)
Well, to prevent bugs in this layer, I guess? To not have things out-of-date or clickable when they shouldn't be or not have layout suddenly becoming garbled.
[ Parent | on HN ]