The Case Against Formal Verification, 50 Years Later

Posted 4 hours ago by ghuntley
77 points

https://ivan-gavran.github.io/0-social-processes-paper

16 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..