Data independence with predicate symbols

Նմանատիպ նյութեր

• Programs as executable predicates
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (1984)
• Programs as Executable Predicates
  ‌: Hoare, C, և այլն
  Հրապարակվել է: (1984)
• Predicate Abstraction via Symbolic Decision Procedures
  ‌: Shuvendu K. Lahiri, և այլն
  Հրապարակվել է: (2007-04-01)
• On Model Checking Data−independent Systems with Arrays without Reset
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  ‌: Roscoe, A, և այլն
  Հրապարակվել է: (2004)