Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.

Normann Decker, Anton Pirogov

Browse the full VMCAI paper archive.