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 |