home · mobile · calendar · colloquia · 2007-2008 · 

Colloquium - Bradley

Approximating Tiresias
Department of Electrical and Computer Engineering
4/24/2008
3:30pm-4:30pm

In this informal presentation, I will introduce my research to the department. I will discuss incremental and distributed model checking of CTL/LTL properties of finite-state systems; decision procedures for aggregate data structures; potential research directions in constraint solving; and how to make code predict its future (thus explaining the title).

Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
webmaster@cs.colorado.edu
www.cs.colorado.edu
May 5, 2012 (14:13)
XHTML 1.0/CSS2
©2012