Data independence with predicate symbols

Antzeko izenburuak

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