Model Checking Concurrent Linux Device Drivers

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

• Model checking concurrent linux device drivers
  অনুযায়ী: Witkowski, T, অন্যান্য
  প্রকাশিত: (2007)
• Essential linux device drivers /
  অনুযায়ী: Venkateswaran Sreekrishnan, 1972-
  প্রকাশিত: (2008)
• Proving safety with trace automata and bounded model checking
  অনুযায়ী: Kroening, D, অন্যান্য
  প্রকাশিত: (2015)
• A Complete Bounded Model Checking Algorithm for Pushdown Systems
  অনুযায়ী: Basler, G, অন্যান্য
  প্রকাশিত: (2007)
• Tolerating Malicious Device Drivers in Linux
  অনুযায়ী: Boyd-Wickizer, Silas, অন্যান্য
  প্রকাশিত: (2011)