Over−Approximating Boolean Programs with Unbounded Thread Creation

相似书籍

• Verification of Boolean Programs with Unbounded Thread Creation
  由: Cook, B, et al.
  出版: (2007)
• Verification of Boolean programs with unbounded thread creation.
  由: Cook, B, et al.
  出版: (2007)
• Symbolic model checking for asynchronous Boolean programs
  由: Cook, B, et al.
  出版: (2005)
• Approximating Predicate Images for Bit−Vector Logic
  由: Kroening, D, et al.
  出版: (2006)
• Accurate Theorem Proving for Program Verification
  由: Cook, B, et al.
  出版: (2006)