659 followers
6) Use choreographies to fight the state explosion problem. Paraphrasing van den Bos and Jongmans (https://t.co/GLm6INZwEz): parallelising verified programs is a lot easier than verifying parallel programs.
6) Use choreographies to fight the state explosion problem. Paraphrasing van den Bos and Jongmans (https://t.co/GLm6INZwEz): parallelising verified programs is a lot easier than verifying parallel programs.