boogie

verifiable programming language (compiler)

Debian Debian
RUN apt-get update && \ apt-get install -y boogie
Ubuntu
RUN apt-get update && \ apt-get install -y boogie
Raspbian
RUN apt-get update && \ apt-get install -y boogie
click the source code to copy install boogie on any operating system with command-not-found.com