Computational Challenges in Bounded Model Checking

Những quyển sách tương tự

• Computational challenges in bounded model checking
  Bằng: Clarke, E, et al.
  Được phát hành: (2005)
• Computational challenges in bounded model checking.
  Bằng: Clarke, E, et al.
  Được phát hành: (2005)
• Completeness and Complexity of Bounded Model Checking
  Bằng: Clarke, E, et al.
  Được phát hành: (2004)
• Linear Completeness Thresholds for Bounded Model Checking.
  Bằng: Kroening, D, et al.
  Được phát hành: (2011)
• Computing Over−Approximations with Bounded Model Checking
  Bằng: Kroening, D
  Được phát hành: (2006)