Art of Invariant Generation applied to Symbolic Bound Computation (Lecture 1) Opens in a new tab Date: July 1, 2009 Speakers Sumit Gulwani Distinguished Scientist and Vice President Related Links Research Area Algorithms Project SPEED (Symbolic Resource Time/Space Bounds Analysis) Publication Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series)
