3,326 followers Ryoma Sin'ya @sinya8282 Decision Procedures https://t.co/TmoBt3oWp6 24 Feb 2017 Reply Repost Favourite
2,139 followers Marius (wishi) @windsheep_ @agelastic personally I found Model Checkers extremly helpful, LTL, CTL, modular Mu. In addition to http://t.co/pxOyRbsT 18 Dec 2012 Reply Repost Favourite