At #nesvd2019 https://svd.csail.mit.edu/2019/ Jon Howell discusses how formal verification tools do or don't help automate proof development, considering that the steady (vs final) state of proof development is that something is wrong with the program and its proof.
-
Show this thread
There are a lot of good talks at #nesvd2019. Interesting how formal verification is becoming increasingly practical, with many real-world applications already, and the promise of many more in the near future.
12:00 PM - 18 Oct 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!