the big one which I love to share with non-CS-PhD types, is https://www.theatlantic.com/technology/archive/2017/09/saving-the-world-from-code/540393/ … I'm 99% sure you've seen that article already but I'm going to repeat the link here anyway for folks following this thread afresh
Thanks for continuing to point me to great stuff as I mull over how these tools/concepts might usefully be brought to legal apps!https://twitter.com/mengwong/status/1062008183848194048 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
and soon we will have a working demo, in the genre of Model Checking Contracts (http://www.cse.chalmers.se/~gersch/slides-talks/slides-ATVA-07.pdf …), but for regulatory compliance instead of SLA contracts. Whoa, I think that just made us a RegTech project
-
It will be so cool to be able to say that our tech produces contracts that are mathematically proven to be watertight, by using the same kinds of tools that Amazon uses to guarantee that the infrastructure the Internet depends on is verifiably free of bugs https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf …
End of conversation
New conversation -
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.