doi.org/10.1007/978-3-031-66149-5_11

Preview meta tags from the doi.org website.

Linked Hostnames

28

Thumbnail

Search Engine Appearance

Google

https://doi.org/10.1007/978-3-031-66149-5_11

Software Verification Witnesses 2.0

Verification witnesses are now widely accepted objects used not only to confirm or refute verification results, but also for general exchange of information among various tools for program verification. The original format for witnesses is based on GraphML, and it...



Bing

Software Verification Witnesses 2.0

https://doi.org/10.1007/978-3-031-66149-5_11

Verification witnesses are now widely accepted objects used not only to confirm or refute verification results, but also for general exchange of information among various tools for program verification. The original format for witnesses is based on GraphML, and it...



DuckDuckGo

https://doi.org/10.1007/978-3-031-66149-5_11

Software Verification Witnesses 2.0

Verification witnesses are now widely accepted objects used not only to confirm or refute verification results, but also for general exchange of information among various tools for program verification. The original format for witnesses is based on GraphML, and it...

  • General Meta Tags

    45
    • title
      Software Verification Witnesses 2.0 | SpringerLink
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1
    • applicable-device
      pc,mobile

  • Open Graph Meta Tags

    6
    • og:url
      https://link.springer.com/chapter/10.1007/978-3-031-66149-5_11
    • og:type
      Paper
    • og:site_name
      SpringerLink
    • og:title
      Software Verification Witnesses 2.0
    • og:description
      Verification witnesses are now widely accepted objects used not only to confirm or refute verification results, but also for general exchange of information among various tools for program verification. The original format for witnesses is based on GraphML, and it...

  • Twitter Meta Tags

    6
    • twitter:site
      SpringerLink
    • twitter:card
      summary
    • twitter:image:alt
      Content cover image
    • twitter:title
      Software Verification Witnesses 2.0
    • twitter:description
      Verification witnesses are now widely accepted objects used not only to confirm or refute verification results, but also for general exchange of information among various tools for program verification. The original format for witnesses is based on GraphML, and it...

  • Item Prop Meta Tags

    3
    • position
      1
    • position
      2
    • position
      3

  • Link Tags

    9
    • apple-touch-icon
      /oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
    • canonical
      https://link.springer.com/chapter/10.1007/978-3-031-66149-5_11
    • icon
      /oscar-static/img/favicons/darwin/android-chrome-192x192.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-32x32.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-16x16.png

Emails

1

Links

137