[jonjacky]

This page says that the driver verifier uses the SLAM verification engine - I am not sure whether/how that is related to Z3:

http://research.microsoft.com/en-us/projects/slam/

[gsnedders]

SLAM2 uses Z3 for a few things, AIUI.