245 followers
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. -… http://t.co/IAzk4l3vxE
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. -… http://t.co/IAzk4l3vxE