Data independence with predicate symbols

Podobné jednotky

• Programs as executable predicates
  Autor: Roscoe, A, a další
  Vydáno: (1984)
• Programs as Executable Predicates
  Autor: Hoare, C, a další
  Vydáno: (1984)
• Predicate Abstraction via Symbolic Decision Procedures
  Autor: Shuvendu K. Lahiri, a další
  Vydáno: (2007-04-01)
• On Model Checking Data−independent Systems with Arrays without Reset
  Autor: Roscoe, A, a další
  Vydáno: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  Autor: Roscoe, A, a další
  Vydáno: (2004)