research.microsoft.com/slam

Preview meta tags from the research.microsoft.com website.

Linked Hostnames

66

Thumbnail

Search Engine Appearance

Google

https://research.microsoft.com/slam

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

https://research.microsoft.com/slam

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

https://research.microsoft.com/slam

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
    • title
      SLAM - Microsoft Research
    • title
      Your Privacy Choices Opt-Out Icon
    • viewport
      width=device-width, initial-scale=1
    • awa-product
      MSR
    • awa-stv
      9.7.0
  • Open Graph Meta Tags

    7
    • US country flagog:locale
      en_US
    • og:type
      article
    • og:title
      SLAM - Microsoft Research
    • og:description
      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 […]
    • og:url
      https://www.microsoft.com/en-us/research/project/slam/
  • Twitter Meta Tags

    3
    • twitter:dnt
      on
    • twitter:card
      summary_large_image
    • twitter:site
      @MSFTResearch
  • Link Tags

    35
    • EditURI
      https://www.microsoft.com/en-us/research/xmlrpc.php?rsd
    • alternate
      https://www.microsoft.com/en-us/research/feed/
    • alternate
      https://www.microsoft.com/en-us/research/wp-json/wp/v2/msr-project/169817
    • alternate
      https://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
    • alternate
      https://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
    • US country flagen-us
      https://www.microsoft.com/en-us/research/project/slam/
    • DEFAULT country flagx-default
      https://www.microsoft.com/en-us/research/project/slam/

Emails

1

Links

218