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)