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)