log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Counterexample-Guided Abstraction Refinement for Symbolic Model Checking
Javran Cheng - University of Maryland
3460 A.V. Williams Building (AVW)
Friday, December 5, 2014, 1:00-2:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

The state explosion problem remains a major hurdle in applying symbolic model checking to large hardware designs. State space abstraction, having been essential for verifying designs of industrial complexity, is typically a manual process, requiring considerable creativity and insight.

http://gki.informatik.uni-freiburg.de/teaching/ws0708/aipsem/papers/clarke-et-al:jacm-2003.pdf

This talk is organized by David Van Horn