First Page | Document Content | |
---|---|---|
Date: 2011-01-14 08:37:02Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language | Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux†Add to Reading ListSource URL: www-verimag.imag.frDownload Document from Source WebsiteFile Size: 330,45 KBShare Document on Facebook |