Browsing Computer Science and Automation (CSA) by Subject "Linear Temporal Logic"
Now showing items 1-1 of 1
-
Model Checking Temporal Properties of Presburger Counter Systems
Counter 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 ...