Search
Now showing items 1-1 of 1
Model-Checking in Presburger Counter Systems using Accelerations
(2018-04-18)
Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms ...