
research.microsoft.com/slam
Preview meta tags from the research.microsoft.com website.
Linked Hostnames
66- 81 links towww.microsoft.com
- 46 links toresearch.microsoft.com
- 7 links toportal.acm.org
- 6 links togo.microsoft.com
- 6 links towww.springerlink.com
- 3 links toazure.microsoft.com
- 3 links todoi.acm.org
- 3 links topartner.microsoft.com
Thumbnail

Search Engine Appearance
SLAM - Microsoft Research
SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool in the Windows Driver Development Kit that uses the SLAM verification engine. “Things like even software […]
Bing
SLAM - Microsoft Research
SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool in the Windows Driver Development Kit that uses the SLAM verification engine. “Things like even software […]
DuckDuckGo
SLAM - Microsoft Research
SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool in the Windows Driver Development Kit that uses the SLAM verification engine. “Things like even software […]
General Meta Tags
18- titleSLAM - Microsoft Research
- titleYour Privacy Choices Opt-Out Icon
- viewportwidth=device-width, initial-scale=1
- awa-productMSR
- awa-stv9.7.0
Open Graph Meta Tags
7og:locale
en_US- og:typearticle
- og:titleSLAM - Microsoft Research
- og:descriptionSLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool in the Windows Driver Development Kit that uses the SLAM verification engine. “Things like even software […]
- og:urlhttps://www.microsoft.com/en-us/research/project/slam/
Twitter Meta Tags
3- twitter:dnton
- twitter:cardsummary_large_image
- twitter:site@MSFTResearch
Link Tags
35- EditURIhttps://www.microsoft.com/en-us/research/xmlrpc.php?rsd
- alternatehttps://www.microsoft.com/en-us/research/feed/
- alternatehttps://www.microsoft.com/en-us/research/wp-json/wp/v2/msr-project/169817
- alternatehttps://www.microsoft.com/en-us/research/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fproject%2Fslam%2F
- alternatehttps://www.microsoft.com/en-us/research/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fproject%2Fslam%2F&format=xml
Website Locales
2en-us
https://www.microsoft.com/en-us/research/project/slam/x-default
https://www.microsoft.com/en-us/research/project/slam/
Emails
1Links
218- http://berkeley.intel-research.net/mnaik
- http://boop.sourceforge.net
- http://doi.acm.org/10.1145/1217935.1217943
- http://doi.acm.org/10.1145/503272.503274
- http://doi.acm.org/10.1145/640128.604140