39 search results - page 3 / 8 » Model checking concurrent linux device drivers |
IWNAS
2008
IEEE
13 years 11 months ago
2008
IEEE
To protect data and recover data in case of failures, Linux operating system has built-in MD device that implements RAID architectures. Such device can recover data in case of sin...
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
EUROSYS
2006
ACM
14 years 2 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
COMSWARE
2006
IEEE
13 years 9 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...