245 followers Verification papers @verif_papers Bbs: A Phase-Bounded Model Checker for Asynchronous Programs. - Rupak Majumdar, Zilong Wang http://t.co/IIc9GrVKJ2 22 Jul 2015 Reply Repost Favourite