Data independence with predicate symbols

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

• Programs as executable predicates
  по: Roscoe, A, и др.
  Опубликовано: (1984)
• Programs as Executable Predicates
  по: Hoare, C, и др.
  Опубликовано: (1984)
• Predicate Abstraction via Symbolic Decision Procedures
  по: Shuvendu K. Lahiri, и др.
  Опубликовано: (2007-04-01)
• On Model Checking Data−independent Systems with Arrays without Reset
  по: Roscoe, A, и др.
  Опубликовано: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  по: Roscoe, A, и др.
  Опубликовано: (2004)