Data independence with predicate symbols

Geahča maid

• Programs as executable predicates
  Dahkki: Roscoe, A, et al.
  Almmustuhtton: (1984)
• Programs as Executable Predicates
  Dahkki: Hoare, C, et al.
  Almmustuhtton: (1984)
• Predicate Abstraction via Symbolic Decision Procedures
  Dahkki: Shuvendu K. Lahiri, et al.
  Almmustuhtton: (2007-04-01)
• On Model Checking Data−independent Systems with Arrays without Reset
  Dahkki: Roscoe, A, et al.
  Almmustuhtton: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  Dahkki: Roscoe, A, et al.
  Almmustuhtton: (2004)