commit - a3d7d9c6f85363c601b6a342a547f3db8d651178
commit + fa08dc44ce48fbb72515b7d10ee9efdf9f80403d
blob - 08fecfd822da70d786d88a8aff04eb14e92936c3
blob + 2ddf51250b0cc344e9d6346cbbcbcf425e8c4bcd
--- Device-drivers-testing.md
+++ Device-drivers-testing.md
@@ -15,10 +15,10 @@
   - [umap2](https://github.com/nccgroup/umap2) is USB host security assessment tool, bugs reported to the [bugs@](https://marc.info/?l=openbsd-bugs&m=147015973429632&w=2)
   - USB stack [Facedancer21](http://goodfet.sourceforge.net/hardware/facedancer21/) 
 - [ddverify](http://www.cprover.org/ddverify/)
-- [Formal Verification of Linux Device Drivers](http://www.cprover.org/dissertations/thesis-Witkowski.pdf)
-- [DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers](https://github.com/ucsb-seclab/dr_checker)
 
 ### Papers
 
+- [Formal Verification of Linux Device Drivers](http://www.cprover.org/dissertations/thesis-Witkowski.pdf)
+- [DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers](https://github.com/ucsb-seclab/dr_checker)
 - Model Checking Concurrent Linux Device Drivers http://www.kroening.com/papers/ase2007-ddverify.pdf
 - SymDrive: Testing Drivers without Devices https://www.usenix.org/system/files/conference/osdi12/osdi12-final-4.pdf
\ No newline at end of file