Formal verification and Software Design

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