Login / Signup

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

Alessandro CimattiAlberto GriggioGianluca Redondi
Published in: CADE (2021)
Keyphrases
  • rewrite systems
  • quantifier free
  • knowledge base
  • database
  • fuzzy sets
  • quantifier elimination