Data independence with predicate symbols

Podobne zapisy

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