Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning.

Alessandro Cimatti, Alberto Griggio, Gianluca Redondi

Browse the full CADE paper archive.