Model Checking Concurrent Linux Device Drivers

Podobne zapisy

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