frama-c.com/fc-plugins/eva.html

Preview meta tags from the frama-c.com website.

Linked Hostnames

2

  • General Meta Tags

    4
    • title
      Eva, an Evolved Value Analysis
    • charset
      UTF-8
    • viewport
      width=device-width,initial-scale=1,maximum-scale=1,user-scalable=no
    • description
      Automatically computes variation domains for the variables of the program.

  • Link Tags

    6
    • shortcut icon
      /assets/img/favicon.ico
    • stylesheet
      /assets/css/main.css
    • stylesheet
      /assets/css/page.css
    • stylesheet
      /assets/css/tiles.css
    • stylesheet
      /assets/css/pygments.css

Links

19