Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,768,651 papers from all fields of science
Search
Sign In
Create Free Account
Driver Verifier
Driver Verifier is a tool included in Microsoft Windows that replaces the default operating system subroutines with ones that are specifically…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Architecture of Windows NT
Core dump
Deadlock
Debugging
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Inferring annotations for device drivers from verification histories
Zvonimir Pavlinovic
,
A. Lal
,
Rahul Sharma
International Conference on Automated Software…
2016
Corpus ID: 6150746
This paper studies and optimizes automated program verification. Detailed reasoning about software behavior is often facilitated…
Expand
2016
2016
Static Analysis Using the Cloud
Rahul Kumar
,
Chetan Bansal
,
J. Lichtenberg
iFMCloud@IFM
2016
Corpus ID: 7367896
In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by…
Expand
2014
2014
Rules based automatic Linux Device Driver Verifier And Code Assistance
K. Dileep
,
A. Raghavendra
,
M. Suman
,
G. Devesh
,
S.V. Srikanth
International Conference on Recent Advances and…
2014
Corpus ID: 42882006
Development of Linux Device Drivers involves lot of complex data structures and functions. The developer should carefully apply…
Expand
2012
2012
Ten years of automated code analysis at Microsoft (invited industrial talk)
Wolfram Schulte
International Conference on Software Engineering
2012
Corpus ID: 8309463
Automated code analysis is technology aimed at locating, describing and repairing areas of weakness in code. Code weaknesses…
Expand
2010
2010
Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2
T. Ball
,
E. Bounimova
,
V. Levin
,
L. D. Moura
2010
Corpus ID: 14297483
Static Driver Verier ( SDV) is a verication tool included in the Windows 7 Driver Kit (WDK). SDV uses SLAM as the program…
Expand
2005
2005
Using Stålmarck's Algorithm to Prove Inequalities
B. Cook
,
Georges Gonthier
IEEE International Conference on Formal…
2005
Corpus ID: 40360145
Stalmarck’s 1-saturation algorithm is an incomplete but fast method for computing partial equivalence relations over…
Expand
2005
2005
Finding Bugs in Device Drivers with Static Driver Verifier
B. Cook
Abstract State Machines
2005
Corpus ID: 32344609
2004
2004
Static driver verifier, a formal verification tool for Windows device drivers
V. Levin
International Conference on Formal Methods and…
2004
Corpus ID: 206460223
Microsoft is improving the quality of system software, in particular, through the intensive application of formal methods. The…
Expand
2004
2004
Finding API usage rule violations in Windows device drivers using Static Driver Verifier
B. Cook
Leveraging Applications of Formal Methods
2004
Corpus ID: 13549876
A slow-release suppository is provided. The slow-release suppository comprises a linear polymer, water and a therapeutically…
Expand
1991
1991
Problems analysis of Windows drivers verification
N. G. Ershov
,
N. Y. Ryazanova
1991
Corpus ID: 62411262
The article is devoted to matters relating to the security of the operating system Windows. It is shown that the kernel-mode…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE