Model Checking Concurrent Linux Device Drivers

Model Checking Concurrent Linux Device Drivers

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	IEEE 2007

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)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Environment Modeling of Linux Operating System Device Drivers
Yazar:: I. S. Zakharov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Partial orders for efficient bounded model checking of concurrent software
Yazar:: Alglave, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Race analysis for systemC using model checking
Yazar:: Blanc, N, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Development of linux device driver for programmable peripheral interface /
Yazar:: 391572 Sazrul Azri Zakariya
Baskı/Yayın Bilgisi: (2000)

Linux device drivers, Alessandro Rubini O Reilly
Yazar:: Fernando Romero
Baskı/Yayın Bilgisi: (2002-05-01)

Linux Driver Verification
Yazar:: D. Beyer, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Practical linux programming : device drivers, embedded systems, and the internet /
Yazar:: 295466 Khan, Ashfaq A.
Baskı/Yayın Bilgisi: (2002)

Technique of analyzing device drivers of embedded linux system using UML
Yazar:: Liang MA, ve diğerleri
Baskı/Yayın Bilgisi: (2012-11-01)

Technique of analyzing device drivers of embedded linux system using UML
Yazar:: Liang MA, ve diğerleri
Baskı/Yayın Bilgisi: (2012-11-01)

Linux driver for NIOS 2 /
Yazar:: Mohd. Husaini Mohd. Fauzi, 1988- , author, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Linux driver for NIOS 2 /
Yazar:: Mohd. Husaini Mohd. Fauzi, 1988- , author
Baskı/Yayın Bilgisi: (2011)

Linux Driver Verification Architecture
Yazar:: V. S. Mutilin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Practical linux programming : device drivers, embedded systems, and the internet / [cakera padat]
Yazar:: 295466 Khan, Ashfaq A.
Baskı/Yayın Bilgisi: (2002)

Static Verification Tools for C Programs and Linux Device Drivers: A Survey
Yazar:: M. U. Mandrykin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Testing of Linux File System Drivers
Yazar:: A. V. Tsyvarev, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Model Checking with Abstraction for Web Services
Yazar:: Sharygina, N, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Computing Over−Approximations with Bounded Model Checking
Yazar:: Kroening, D
Baskı/Yayın Bilgisi: (2006)

Computing over-approximations with bounded model checking
Yazar:: Kroening, D
Baskı/Yayın Bilgisi: (2006)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
Yazar:: Pasquale Caporaso, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Symbolic model checking for asynchronous Boolean programs
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Checking Concurrent Contracts with Aspects
Yazar:: Kerfoot, E, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Checking concurrent contracts with aspects
Yazar:: Kerfoot, E, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

New methods of concurrent checking /
Yazar:: Goessel, Michael
Baskı/Yayın Bilgisi: (2008)

Analysis of typical faults in Linux operating system drivers
Yazar:: V. S. Mutilin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Static verification for memory safety of Linux kernel drivers
Yazar:: A. A. Vasilyev
Baskı/Yayın Bilgisi: (2019-02-01)

Coverage in interpolation-based model checking
Yazar:: Chockler, H, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Linux for dummies [compact disc]/
Yazar:: 279637 LeBlanc, Dee-Ann
Baskı/Yayın Bilgisi: (2005)

Compositional model checking of concurrent systems, with Petri nets
Yazar:: Paweł Sobociński
Baskı/Yayın Bilgisi: (2016-03-01)

Computational challenges in bounded model checking
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Completeness and Complexity of Bounded Model Checking
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Computational challenges in bounded model checking.
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Computational Challenges in Bounded Model Checking
Yazar:: Clarke, E, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Approximation Refinement for Interpolation−Based Model Checking
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)