Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption

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

• Translating CSP trace refinement to UNITY unreachability : a study in data independence
  по: Roscoe, A, и др.
  Опубликовано: (2015)
• Assumption-commitment support for CSP model checking
  по: Moffat, N, и др.
  Опубликовано: (2008)
• Assumption−Commitment Support for CSP Model Checking
  по: Moffat, N, и др.
  Опубликовано: (2006)
• Assumption–Commitment Support for CSP Model Checking
  по: Moffat, N, и др.
  Опубликовано: (2008)
• Assumption−Commitment Support for CSP Model Checking
  по: Moffat, N, и др.
  Опубликовано: (2008)