A type−directed abstraction refinement approach to higher−order model checking

অনুরূপ উপাদানগুলি

• A Traversal Based Algorithm for Higher−Order Model Checking
  অনুযায়ী: Neatherway, R, অন্যান্য
  প্রকাশিত: (2012)
• Higher−Order Model Checking of Liveness Properties
  অনুযায়ী: Neatherway, R, অন্যান্য
  প্রকাশিত: (2013)
• Model checking liveness properties of higher-order functional programs
  অনুযায়ী: Lester, MM, অন্যান্য
  প্রকাশিত: (2011)
• Higher-order model checking with traversals
  অনুযায়ী: Neatherway, R
  প্রকাশিত: (2014)
• Abstraction refinement for large scale model checking /
  অনুযায়ী: 405051 Wang, Chao, অন্যান্য
  প্রকাশিত: (2006)