Symbolic model checking for asynchronous Boolean programs

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

• Verification of Boolean Programs with Unbounded Thread Creation
  по: Cook, B, и др.
  Опубликовано: (2007)
• Verification of Boolean programs with unbounded thread creation.
  по: Cook, B, и др.
  Опубликовано: (2007)
• Over−Approximating Boolean Programs with Unbounded Thread Creation
  по: Cook, B, и др.
  Опубликовано: (2006)
• Model Checking with Abstraction for Web Services
  по: Sharygina, N, и др.
  Опубликовано: (2007)
• BOOM: Taking Boolean program model checking one step further
  по: Basler, G, и др.
  Опубликовано: (2010)