fosstodon.org/@frama_c

Preview meta tags from the fosstodon.org website.

Thumbnail

Search Engine Appearance

Google

https://fosstodon.org/@frama_c

Frama-C (@[email protected])

18 Posts, 0 Following, 70 Followers · Open-source platform dedicated to the analysis of source code written in C, featuring: - an abstract interpretation based analysis (Eva); - a program proof framework based on deductive verification (WP); - a runtime verification tool (E-ACSL); - many tools for code base exploration, dependency analysis, slicing… Based on formal methods, developed mainly in OCaml. This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.



Bing

Frama-C (@[email protected])

https://fosstodon.org/@frama_c

18 Posts, 0 Following, 70 Followers · Open-source platform dedicated to the analysis of source code written in C, featuring: - an abstract interpretation based analysis (Eva); - a program proof framework based on deductive verification (WP); - a runtime verification tool (E-ACSL); - many tools for code base exploration, dependency analysis, slicing… Based on formal methods, developed mainly in OCaml. This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.



DuckDuckGo

https://fosstodon.org/@frama_c

Frama-C (@[email protected])

18 Posts, 0 Following, 70 Followers · Open-source platform dedicated to the analysis of source code written in C, featuring: - an abstract interpretation based analysis (Eva); - a program proof framework based on deductive verification (WP); - a runtime verification tool (E-ACSL); - many tools for code base exploration, dependency analysis, slicing… Based on formal methods, developed mainly in OCaml. This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

  • General Meta Tags

    11
    • title
      Frama-C (@[email protected]) - Fosstodon
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • theme-color
      #181820
    • theme-color
      #ffffff

  • Open Graph Meta Tags

    8
    • og:type
      profile
    • og:url
      https://fosstodon.org/@frama_c
    • og:site_name
      Fosstodon
    • og:title
    • og:description
      18 Posts, 0 Following, 70 Followers · Open-source platform dedicated to the analysis of source code written in C, featuring: - an abstract interpretation based analysis (Eva); - a program proof framework based on deductive verification (WP); - a runtime verification tool (E-ACSL); - many tools for code base exploration, dependency analysis, slicing… Based on formal methods, developed mainly in OCaml. This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

  • Link Tags

    25
    • alternate
      https://fosstodon.org/@frama_c.rss
    • alternate
      https://fosstodon.org/users/frama_c
    • apple-touch-icon
      https://cdn.fosstodon.org/site_uploads/files/000/000/005/57/c10e49304bc968d0.png
    • apple-touch-icon
      https://cdn.fosstodon.org/site_uploads/files/000/000/005/60/c10e49304bc968d0.png
    • apple-touch-icon
      https://cdn.fosstodon.org/site_uploads/files/000/000/005/72/c10e49304bc968d0.png