Over−Approximating Boolean Programs with Unbounded Thread Creation

Slični predmeti

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