1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
K Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counte…