Установка:

Для установки why в Ubuntu / Linux Mint, введите в Терминал:

sudo apt update
sudo apt install why
Dzen
why — Инструмент проверки программного обеспечения для C и Java

Подробная информация о пакете:

Инструмент проверки программного обеспечения для C и Java

  • Зависимости:

  • frama-c-base

    Платформа, предназначенная для анализа исходного кода, написанного на C (без gui)

  • libc6

    Библиотека GNU C: общие библиотеки

  • make

    Утилита для управления компиляцией

  • why3

    Платформа проверки программного обеспечения

  • ocaml-base-nox-4.05.0