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
7
og:localeen_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
2- en-ushttps://www.microsoft.com/en-us/research/project/slam/
x-defaulthttps://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