Skip to search formSkip to main contentSkip to account menu

Driver Verifier

Driver Verifier is a tool included in Microsoft Windows that replaces the default operating system subroutines with ones that are specifically… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Architecture of Windows NTCore dumpDeadlockDebugging

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Inferring annotations for device drivers from verification histories
This paper studies and optimizes automated program verification. Detailed reasoning about software behavior is often facilitated… 
2014
2014
Rules based automatic Linux Device Driver Verifier And Code Assistance
Development of Linux Device Drivers involves lot of complex data structures and functions. The developer should carefully apply… 
2012
2012
Ten years of automated code analysis at Microsoft (invited industrial talk)
Automated code analysis is technology aimed at locating, describing and repairing areas of weakness in code. Code weaknesses… 
2010
2010
Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2
Static Driver Verier ( SDV) is a verication tool included in the Windows 7 Driver Kit (WDK). SDV uses SLAM as the program… 
Review
2007
Review
2007
Formal Methods for Specifying, Validating, and Verifying Requirements
  • C. Heitmeyer
  • Journal of universal computer science (Online)
  • 2007
  • Corpus ID: 10453020
This paper describes the specification, validation and verification of system and soft- ware requirements using the SCR tabular… 
2007
2007
On the Utility of Formal Methods in the Development and Certification of Software
During the past three decades, many formal methods have been proposed whose goal is to improve the quality of computer systems. I… 
2005
2005
Using Stålmarck's Algorithm to Prove Inequalities
Stalmarck’s 1-saturation algorithm is an incomplete but fast method for computing partial equivalence relations over… 
2004
2004
Static driver verifier, a formal verification tool for Windows device drivers
Microsoft is improving the quality of system software, in particular, through the intensive application of formal methods. The… 
2004
2004
Finding API usage rule violations in Windows device drivers using Static Driver Verifier
A slow-release suppository is provided. The slow-release suppository comprises a linear polymer, water and a therapeutically… 
1991
1991
Problems analysis of Windows drivers verification
The article is devoted to matters relating to the security of the operating system Windows. It is shown that the kernel-mode… 
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)