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)