logo FEDIDEVS

FEDIDEVS

2 awesome OCaml projects on Mastodon.

Project ocaml OCaml
Header Image

Wesh gro bi1?

Last posted 1 day ago
Posts 416
Followers ▼ 245
Following 166
Header Image

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.

Last posted 4 months ago
Posts 18
Followers ▼ 66
Following 0