Over−Approximating Boolean Programs with Unbounded Thread Creation

Схожие документы

• Verification of Boolean Programs with Unbounded Thread Creation
  по: Cook, B, и др.
  Опубликовано: (2007)
• Verification of Boolean programs with unbounded thread creation.
  по: Cook, B, и др.
  Опубликовано: (2007)
• Symbolic model checking for asynchronous Boolean programs
  по: Cook, B, и др.
  Опубликовано: (2005)
• Approximating Predicate Images for Bit−Vector Logic
  по: Kroening, D, и др.
  Опубликовано: (2006)
• Accurate Theorem Proving for Program Verification
  по: Cook, B, и др.
  Опубликовано: (2006)