1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Normann Decker, Anton Pirogov
This paper presents an approximation approach to verifying counter systems with respect to properties formulated in an expressive counting extension of linear temporal logic. It ca…