Model Checking Concurrent Linux Device Drivers

Podobné jednotky

• Model checking concurrent linux device drivers
  Autor: Witkowski, T, a další
  Vydáno: (2007)
• Essential linux device drivers /
  Autor: Venkateswaran Sreekrishnan, 1972-
  Vydáno: (2008)
• Proving safety with trace automata and bounded model checking
  Autor: Kroening, D, a další
  Vydáno: (2015)
• A Complete Bounded Model Checking Algorithm for Pushdown Systems
  Autor: Basler, G, a další
  Vydáno: (2007)
• Tolerating Malicious Device Drivers in Linux
  Autor: Boyd-Wickizer, Silas, a další
  Vydáno: (2011)