Model-Checking in Presburger Counter Systems using Accelerations
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 for this problem. However these algorithms may not terminate when applied direct...
Main Author: | |
---|---|
Other Authors: | |
Language: | en_US |
Published: |
2018
|
Subjects: | |
Online Access: | http://etd.iisc.ernet.in/2005/3420 http://etd.iisc.ernet.in/abstracts/4287/G25923-Abs.pdf |