Model Checking Concurrent Linux Device Drivers

Míreanna comhchosúla

• Model checking concurrent linux device drivers
  de réir: Witkowski, T, et al.
  Foilsithe / Cruthaithe: (2007)
• Essential linux device drivers /
  de réir: Venkateswaran Sreekrishnan, 1972-
  Foilsithe / Cruthaithe: (2008)
• Proving safety with trace automata and bounded model checking
  de réir: Kroening, D, et al.
  Foilsithe / Cruthaithe: (2015)
• A Complete Bounded Model Checking Algorithm for Pushdown Systems
  de réir: Basler, G, et al.
  Foilsithe / Cruthaithe: (2007)
• Tolerating Malicious Device Drivers in Linux
  de réir: Boyd-Wickizer, Silas, et al.
  Foilsithe / Cruthaithe: (2011)