skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · bactac · 2003-2004 · 


ECOT 831

Abstraction Refinement for Large Scale Model Checking
Grad Student, Department of Electrical and Computer Engineering

Model checking is an algorithmic method for formally verifying the correctness of finite state concurrent systems. It is an ideal verification technique for many cost- and safety-critical systems. It has gained widespread acceptance in the computer hardware industry, and it is showing promise for software verification as well.

The major challenge in applying model checking to large systems is the state explosion problem -- the size of the state transition graph grows exponentially with the number of concurrent subcomponents. Due to state explosion, most industrial-scale designs cannot be handled directly by model checkers. Abstraction is a key in addressing this major challenge. This talk will present several new automatic abstraction refinement techniques, which have significantly increased the ability of model checkers to handle large real-world designs.

BACTAC, the Beverage And Chips Tuesday Afternoon Colloquium, is a weekly forum run by graduate students. The goal is provide an informal setting in which anyone can (basically) present anything. In the past, we have had practice talks for conferences and job interviews, research reports, juggle lessons (!), student representative reports, internship discussions, an introduction to ergonomics, and "pay attention to this when you are going to look for job" discussions.

BACTAC is meant to be an informal and social event to promote the interaction among graduate students. BACTAC is typically held every Tuesday, at 3:30pm, in room ECOT 831. Free munchies and drinks are provided.

Please email Caleb Phillips for more information or if you want to be a speaker.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:44)