The Static Driver Verifier Research Platform
Abstract elided by the publisher.
Related papers
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic CAV 2024
- Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers CAV 2026
- Toward compositional verification of interruptible OS kernels and device drivers PLDI 2016
- Kami: a platform for high-level parametric hardware specification and its modular verification ICFP 2017
- Whiley: A Platform for Research in Software Verification SLE 2013
- GAVS+: An Open Platform for the Research of Algorithmic Game Solving TACAS 2011
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- Journey to find bugs in JavaScript web applications in the wild ICFP 2016