Choose for which OS you want Frama-C

Linux Mac Windows (WSL) 

# 1. Install opam (OCaml package manager)
sudo apt install opam # or dnf, pacman, etc.


# 2. Install Frama-C's dependencies
opam install depext
opam depext frama-c


# 3. Install Frama-C itself
opam install frama-c
# 1. Install Homebrew

# 2. Install required dependencies for Frama-C
brew install opam gmp gtk+ gtksourceview libgnomecanvas

# 3. Configure GTK library
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig

# 4. Install recommended dependencies for Frama-C
brew install graphviz zmq

# 5. Finally install Frama-C
opam install frama-c
# 1. Prepare opam installation
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam

# 2. opam setup
opam init --disable-sandboxing -c 4.07.1 --shell-setup
eval $(opam env)
opam install -y depext

# 3. Install graphical dependencies
opam depext --install -y lablgtk3 lablgtk3-sourceview3

# 4. Install Frama-C
opam depext --install -y frama-c
For detailed installation instructions, click here
All Frama-C releases are available from this page

Downloads

Frama-C and ACSL

Plug-ins