Model Checking Concurrent Linux Device Drivers

Model Checking Concurrent Linux Device Drivers

অন্যান্য সংস্করণ প্রদর্শন করুন (1)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
বিন্যাস:	Conference item
প্রকাশিত:	IEEE 2007

অনুরূপ উপাদানগুলি

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)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2007)

Environment Modeling of Linux Operating System Device Drivers
অনুযায়ী: I. S. Zakharov, অন্যান্য
প্রকাশিত: (2018-10-01)

Partial orders for efficient bounded model checking of concurrent software
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2013)

Race analysis for systemC using model checking
অনুযায়ী: Blanc, N, অন্যান্য
প্রকাশিত: (2010)

Development of linux device driver for programmable peripheral interface /
অনুযায়ী: 391572 Sazrul Azri Zakariya
প্রকাশিত: (2000)

Linux device drivers, Alessandro Rubini O Reilly
অনুযায়ী: Fernando Romero
প্রকাশিত: (2002-05-01)

Linux Driver Verification
অনুযায়ী: D. Beyer, অন্যান্য
প্রকাশিত: (2018-10-01)

Practical linux programming : device drivers, embedded systems, and the internet /
অনুযায়ী: 295466 Khan, Ashfaq A.
প্রকাশিত: (2002)

Technique of analyzing device drivers of embedded linux system using UML
অনুযায়ী: Liang MA, অন্যান্য
প্রকাশিত: (2012-11-01)

Technique of analyzing device drivers of embedded linux system using UML
অনুযায়ী: Liang MA, অন্যান্য
প্রকাশিত: (2012-11-01)

Linux driver for NIOS 2 /
অনুযায়ী: Mohd. Husaini Mohd. Fauzi, 1988- , author, অন্যান্য
প্রকাশিত: (2011)

Linux driver for NIOS 2 /
অনুযায়ী: Mohd. Husaini Mohd. Fauzi, 1988- , author
প্রকাশিত: (2011)

Linux Driver Verification Architecture
অনুযায়ী: V. S. Mutilin, অন্যান্য
প্রকাশিত: (2018-10-01)

Practical linux programming : device drivers, embedded systems, and the internet / [cakera padat]
অনুযায়ী: 295466 Khan, Ashfaq A.
প্রকাশিত: (2002)

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
অনুযায়ী: M. U. Mandrykin, অন্যান্য
প্রকাশিত: (2018-10-01)

Testing of Linux File System Drivers
অনুযায়ী: A. V. Tsyvarev, অন্যান্য
প্রকাশিত: (2018-10-01)

Model Checking with Abstraction for Web Services
অনুযায়ী: Sharygina, N, অন্যান্য
প্রকাশিত: (2007)

Computing Over−Approximations with Bounded Model Checking
অনুযায়ী: Kroening, D
প্রকাশিত: (2006)

Computing over-approximations with bounded model checking
অনুযায়ী: Kroening, D
প্রকাশিত: (2006)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
অনুযায়ী: Pasquale Caporaso, অন্যান্য
প্রকাশিত: (2024-02-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
অনুযায়ী: Kwiatkowska, M, অন্যান্য
প্রকাশিত: (2019)

Symbolic model checking for asynchronous Boolean programs
অনুযায়ী: Cook, B, অন্যান্য
প্রকাশিত: (2005)

Checking Concurrent Contracts with Aspects
অনুযায়ী: Kerfoot, E, অন্যান্য
প্রকাশিত: (2010)

Checking concurrent contracts with aspects
অনুযায়ী: Kerfoot, E, অন্যান্য
প্রকাশিত: (2010)

New methods of concurrent checking /
অনুযায়ী: Goessel, Michael
প্রকাশিত: (2008)

Analysis of typical faults in Linux operating system drivers
অনুযায়ী: V. S. Mutilin, অন্যান্য
প্রকাশিত: (2018-10-01)

Static verification for memory safety of Linux kernel drivers
অনুযায়ী: A. A. Vasilyev
প্রকাশিত: (2019-02-01)

Coverage in interpolation-based model checking
অনুযায়ী: Chockler, H, অন্যান্য
প্রকাশিত: (2010)

Linux for dummies [compact disc]/
অনুযায়ী: 279637 LeBlanc, Dee-Ann
প্রকাশিত: (2005)

Compositional model checking of concurrent systems, with Petri nets
অনুযায়ী: Paweł Sobociński
প্রকাশিত: (2016-03-01)

Computational challenges in bounded model checking
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2005)

Completeness and Complexity of Bounded Model Checking
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2004)

Computational challenges in bounded model checking.
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2005)

Computational Challenges in Bounded Model Checking
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2015)

Approximation Refinement for Interpolation−Based Model Checking
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2008)