Computing Over−Approximations with Bounded Model Checking

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

• Computing over-approximations with bounded model checking
  Bằng: Kroening, D
  Được phát hành: (2006)
• 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)
• Computational Challenges in Bounded Model Checking
  Bằng: Clarke, E, et al.
  Được phát hành: (2015)
• Completeness and Complexity of Bounded Model Checking
  Bằng: Clarke, E, et al.
  Được phát hành: (2004)