A major impediment to automated verification through   model checking is the state explosion problem.   Fortunately, it is common for systems to be comprised   of many similar componets. This similarity can be often   be exploited to factor out redundancy and and   make model checking more efficient.

Tuesday, November 29, 2005

Wu & chen Auditorium

101 Levine Hall

3:00 pm - 4:30 pm