dx.doi.org/10.1007/11817963_16

Preview meta tags from the dx.doi.org website.

Linked Hostnames

20

Thumbnail

Search Engine Appearance

Google

https://dx.doi.org/10.1007/11817963_16

Counterexamples with Loops for Predicate Abstraction

Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean variables, which keep track of predicates over the data. In many cases, the technique suffers from the fact that it requires at least one...



Bing

Counterexamples with Loops for Predicate Abstraction

https://dx.doi.org/10.1007/11817963_16

Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean variables, which keep track of predicates over the data. In many cases, the technique suffers from the fact that it requires at least one...



DuckDuckGo

https://dx.doi.org/10.1007/11817963_16

Counterexamples with Loops for Predicate Abstraction

Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean variables, which keep track of predicates over the data. In many cases, the technique suffers from the fact that it requires at least one...

  • General Meta Tags

    36
    • title
      Counterexamples with Loops for Predicate Abstraction | 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/11817963_16
    • og:type
      Paper
    • og:site_name
      SpringerLink
    • og:title
      Counterexamples with Loops for Predicate Abstraction
    • og:description
      Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean variables, which keep track of predicates over the data. In many cases, the technique suffers from the fact that it requires at least one...

  • Twitter Meta Tags

    6
    • twitter:site
      SpringerLink
    • twitter:card
      summary
    • twitter:image:alt
      Content cover image
    • twitter:title
      Counterexamples with Loops for Predicate Abstraction
    • twitter:description
      Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean variables, which keep track of predicates over the data. In many cases, the technique suffers from the fact that it requires at least one...

  • 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/11817963_16
    • 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

Links

101