Data independence with predicate symbols

Documenti analoghi

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