StInG

StInG: The Stanford Invarint Generator. StInG computes linear invariants for linear transition systems, automatically.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Gulavani, Bhargav S.; Rajamani, Sriram K.: Counterexample driven refinement for abstract interpretation (2006)