Install Frama-c-gui On A Debian, Ubuntu, Fedora And Raspbian

Install Frama-c-gui On A Debian, Ubuntu, Fedora And Raspbian

frama-c-gui

Platform dedicated to the analysis of source code written in C

Install frama-c-gui

  • Debian apt-get install frama-c Click to copy
  • Ubuntu apt-get install frama-c Click to copy
  • Fedora dnf install frama-c Click to copy
  • Raspbian apt-get install frama-c Click to copy
Install the latest version of frama-c-gui in Debian, Ubuntu, Fedora and Raspbian from terminal. To install the frama-c-gui just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of frama-c-gui from the respository and install it in your computer/server.