frama-c.com/2025/06/13/dedicated-specification-languages.html
Preview meta tags from the frama-c.com website.
Linked Hostnames
9- 81 links toframa-c.com
- 3 links tolink.springer.com
- 2 links tosecopera.eu
- 1 link to2025.formalise.org
- 1 link todl.acm.org
- 1 link tofosstodon.org
- 1 link togithub.com
- 1 link torocq-prover.org
General Meta Tags
3- titleOn Dedicated Specification Languages Beyond ACSL contracts
- charsetUTF-8
- viewportwidth=device-width,initial-scale=1,maximum-scale=1,user-scalable=no
Link Tags
9- alternate/feed/everything.xml
- alternate/feed/news.xml
- alternate/feed/blogs.xml
- shortcut icon/assets/img/favicon.ico
- stylesheet/assets/css/main.css
Links
92- https://2025.formalise.org/details/Formalise-2025-papers/4/Typestates-Specification-and-Verification-in-Frama-C
- https://dl.acm.org/doi/10.1145/3644033.3644380
- https://fosstodon.org/@frama_c
- https://frama-c.com/2024/09/18/preprocessing-tips.html
- https://frama-c.com/blog/index.html