A React developer builds a real app using formal verification. This is a chronological build log: the spec design, the integration hell, and what it subjectively felt like.
Pretty cool. I played around with Dafny at work for some security-related software and I was pondering if Dafny could be effective for other problems like complex web-app state management or even more standard services.
Pretty cool. I played around with Dafny at work for some security-related software and I was pondering if Dafny could be effective for other problems like complex web-app state management or even more standard services.