3 citations · 6 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013
Proceedings 14th International Workshop on Verification of Infinite-State Systems
Mohamed Faouzi Atig, Ahmed Rezine
This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of Augus…
cs.LO2012
Ordered Counter-Abstraction
Ahmed Rezine
We introduce a new symbolic representation based on an original generalization of counter abstraction. Unlike classical counter abstraction (used in the analysis of parameterized s…