• Model Checking Temporal Properties of Presburger Counter Systems 

      Kommineni, Vasanta Lakshmi
      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 ...