2 ms·
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-u
by jonjacky 12y ago
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/ http://research.microsoft.com/en-us/projects/slam/
- gsnedders 12y agoSLAM2 uses Z3 for a few things, AIUI.