Abstract
The Sdv Research Platform (Sdvrp) is a new academic release of Static Driver Verifier (Sdv) and the Slam software model checker that contains: (1) a parameterized version of Sdv that allows one to write custom API rules for APIs independent of device drivers; (2) thousands of Boolean programs generated by Sdv in the course of verifying Windows device drivers, including the functional and performance results (of the Bebop model checker) and test scripts to allow comparison against other Boolean program model checkers; (3) a new version of the Slam analysis engine, called Slam2, that is much more robust and performant. © 2010 Springer-Verlag.
Cite
CITATION STYLE
Ball, T., Bounimova, E., Levin, V., Kumar, R., & Lichtenberg, J. (2010). The static driver verifier research platform. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6174 LNCS, pp. 119–122). https://doi.org/10.1007/978-3-642-14295-6_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
