Over−Approximating Boolean Programs with Unbounded Thread Creation

Eitemau Tebyg

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