Re:Make formal verification and provably correct software pr...
by blainehansen on Saturday June 04, 2022 @12:52AM
(#31617114)
Hi, maintainer/author of Magmide here:
https://github.com/magmide/magmide#isnt-most-software-too-fu...
It might be practical and possible to become mainstream for some domains, but it's doubtful for others. The most practical solution for UI is visual regression testing across browsers.