3 ms·
Looks like I was wrong on multiple counts. Thanks for taking the time. Any links on the driver verification framework? I've only seen people talk about using z
by ktta 9y ago
Looks like I was wrong on multiple counts. Thanks for taking the time.
Any links on the driver verification framework? I've only seen people talk about using z3 for hardware verification but didn't know about MS doing it and talking about it publicly (could only find this: https://pdfs.semanticscholar.org/b100/b1562ba0e75191d29d4c15bfe4dc1d1f9c3b.pdf https://pdfs.semanticscholar.org/b100/b1562ba0e75191d29d4c15...)
- pjmlp 9y agoYes, here they are: "SMT in Verification, Modeling, and Testing at Microsoft" https://link.springer.com/chapter/10.1007%2F978-3-642-39611-3_3 https://link.springer.com/chapter/10.1007%2F978-3-642-39611-... "Efficient evaluation of pointer predicates with Z3 SMT Solver in SLAM2" https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/axioms.submitted.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/... "Tools for Verifying Drivers" https://docs.microsoft.com/en-us/windows-hardware/drivers/devtest/tools-for-verifying-drivers https://docs.microsoft.com/en-us/windows-hardware/drivers/de...