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)