What do you guys use for Software Design and Formal verification and Model Checking for your ReScript apps?
I just learned about TLA+, SAM, and Alloy.
Would Formal verification be relevant for web apps?
Is there even a use for that? Wouldn’t you need to verify browsers and JS engines, for it to hold any value?
1 Like