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)