Model Checking Concurrent Linux Device Drivers

Benzer Materyaller

• Model checking concurrent linux device drivers
  Yazar:: Witkowski, T, ve diğerleri
  Baskı/Yayın Bilgisi: (2007)
• Essential linux device drivers /
  Yazar:: Venkateswaran Sreekrishnan, 1972-
  Baskı/Yayın Bilgisi: (2008)
• Proving safety with trace automata and bounded model checking
  Yazar:: Kroening, D, ve diğerleri
  Baskı/Yayın Bilgisi: (2015)
• A Complete Bounded Model Checking Algorithm for Pushdown Systems
  Yazar:: Basler, G, ve diğerleri
  Baskı/Yayın Bilgisi: (2007)
• Tolerating Malicious Device Drivers in Linux
  Yazar:: Boyd-Wickizer, Silas, ve diğerleri
  Baskı/Yayın Bilgisi: (2011)