Universal invariant checking of parametric systems with quantifier-free SMT reasoning
scientific article; zbMATH DE number 7437076
scientific article