allan-blanchard.fr/frama-c-wp-tutorial.html

Preview meta tags from the allan-blanchard.fr website.

Linked Hostnames

5

Thumbnail

Search Engine Appearance

Google

https://allan-blanchard.fr/frama-c-wp-tutorial.html

Frama-C+WP Tutorial

Frama-C (FRAmework for Modular Analysis of C programs) is a set of interoperable program analyzers for C programs. I have used this software during all my PhD thesis, mostly for deductive proof using the WP plugin. So, I wrote a tutorial that allows to learn ACSL (the specification language of Frama-C) and the use of WP by practice, also getting some theorical rudiments about deductive proof. PDF Version - EN PDF Version - FR Of course, any feedback is welcome. Do not hesitate to create issues or pull requests on GitHub. If you want some features of ACSL or WP to be included in the tutorial, please let me know, I will do my best to add them. GitHub of the tutorial Previous versions: PDF Version - EN - 20 Calcium PDF Version - FR - 20 Calcium Online Version - FR



Bing

Frama-C+WP Tutorial

https://allan-blanchard.fr/frama-c-wp-tutorial.html

Frama-C (FRAmework for Modular Analysis of C programs) is a set of interoperable program analyzers for C programs. I have used this software during all my PhD thesis, mostly for deductive proof using the WP plugin. So, I wrote a tutorial that allows to learn ACSL (the specification language of Frama-C) and the use of WP by practice, also getting some theorical rudiments about deductive proof. PDF Version - EN PDF Version - FR Of course, any feedback is welcome. Do not hesitate to create issues or pull requests on GitHub. If you want some features of ACSL or WP to be included in the tutorial, please let me know, I will do my best to add them. GitHub of the tutorial Previous versions: PDF Version - EN - 20 Calcium PDF Version - FR - 20 Calcium Online Version - FR



DuckDuckGo

https://allan-blanchard.fr/frama-c-wp-tutorial.html

Frama-C+WP Tutorial

Frama-C (FRAmework for Modular Analysis of C programs) is a set of interoperable program analyzers for C programs. I have used this software during all my PhD thesis, mostly for deductive proof using the WP plugin. So, I wrote a tutorial that allows to learn ACSL (the specification language of Frama-C) and the use of WP by practice, also getting some theorical rudiments about deductive proof. PDF Version - EN PDF Version - FR Of course, any feedback is welcome. Do not hesitate to create issues or pull requests on GitHub. If you want some features of ACSL or WP to be included in the tutorial, please let me know, I will do my best to add them. GitHub of the tutorial Previous versions: PDF Version - EN - 20 Calcium PDF Version - FR - 20 Calcium Online Version - FR

  • General Meta Tags

    13
    • title
      Allan Blanchard's webpage – Frama-C+WP Tutorial
    • charset
      utf-8
    • X-UA-Compatible
      IE=edge
    • HandheldFriendly
      True
    • viewport
      width=device-width, initial-scale=1.0

  • Open Graph Meta Tags

    7
    • og:site_name
      Allan Blanchard's webpage
    • og:title
      Frama-C+WP Tutorial
    • og:description
      Frama-C (FRAmework for Modular Analysis of C programs) is a set of interoperable program analyzers for C programs. I have used this software during all my PhD thesis, mostly for deductive proof using the WP plugin. So, I wrote a tutorial that allows to learn ACSL (the specification language of Frama-C) and the use of WP by practice, also getting some theorical rudiments about deductive proof. PDF Version - EN PDF Version - FR Of course, any feedback is welcome. Do not hesitate to create issues or pull requests on GitHub. If you want some features of ACSL or WP to be included in the tutorial, please let me know, I will do my best to add them. GitHub of the tutorial Previous versions: PDF Version - EN - 20 Calcium PDF Version - FR - 20 Calcium Online Version - FR
    • US country flagog:locale
      en_US
    • og:url
      https://allan-blanchard.fr/frama-c-wp-tutorial.html

  • Link Tags

    3
    • stylesheet
      https://allan-blanchard.fr/theme/stylesheet/style.min.css
    • stylesheet
      https://allan-blanchard.fr/theme/pygments/github.min.css
    • stylesheet
      https://allan-blanchard.fr/theme/font-awesome/css/font-awesome.min.css

Links

13