link.springer.com/chapter/10.1007/978-3-031-55608-1_12

Preview meta tags from the link.springer.com website.

Linked Hostnames

21

Thumbnail

Search Engine Appearance

Google

https://link.springer.com/chapter/10.1007/978-3-031-55608-1_12

Analysis of Embedded Numerical Programs in the Presence of Numerical Filters

This chapter presents how Frama-C verifies some complex loop invariant for numerical embedded code and how to produce such invariants. Numerical embedded code usually defines an endless loop that takes inputs from sensors and that emits outputs for actuators....



Bing

Analysis of Embedded Numerical Programs in the Presence of Numerical Filters

https://link.springer.com/chapter/10.1007/978-3-031-55608-1_12

This chapter presents how Frama-C verifies some complex loop invariant for numerical embedded code and how to produce such invariants. Numerical embedded code usually defines an endless loop that takes inputs from sensors and that emits outputs for actuators....



DuckDuckGo

https://link.springer.com/chapter/10.1007/978-3-031-55608-1_12

Analysis of Embedded Numerical Programs in the Presence of Numerical Filters

This chapter presents how Frama-C verifies some complex loop invariant for numerical embedded code and how to produce such invariants. Numerical embedded code usually defines an endless loop that takes inputs from sensors and that emits outputs for actuators....

  • General Meta Tags

    36
    • title
      Analysis of Embedded Numerical Programs in the Presence of Numerical Filters | 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-55608-1_12
    • og:type
      Paper
    • og:site_name
      SpringerLink
    • og:title
      Analysis of Embedded Numerical Programs in the Presence of Numerical Filters
    • og:description
      This chapter presents how Frama-C verifies some complex loop invariant for numerical embedded code and how to produce such invariants. Numerical embedded code usually defines an endless loop that takes inputs from sensors and that emits outputs for actuators....

  • Twitter Meta Tags

    6
    • twitter:site
      SpringerLink
    • twitter:card
      summary
    • twitter:image:alt
      Content cover image
    • twitter:title
      Analysis of Embedded Numerical Programs in the Presence of Numerical F
    • twitter:description
      This chapter presents how Frama-C verifies some complex loop invariant for numerical embedded code and how to produce such invariants. Numerical embedded code usually defines an endless loop that takes inputs from sensors and that emits outputs for actuators....

  • 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-55608-1_12
    • 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

75