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)