Browsing Computer Science and Automation (CSA) by Author "Kommineni, Vasanta Lakshmi"
Now showing items 1-1 of 1
-
Model Checking Temporal Properties of Presburger Counter Systems
Kommineni, Vasanta LakshmiCounter systems are a well-known and powerful modeling notation for specifying infnite state systems. In this thesis we target the problem of checking temporal properties of counter systems. We address three predominant ...