dockerfile.run

ispin

formal software verification tool

Debian

RUN apt-get update && \
    apt-get install -y spin

Ubuntu

RUN apt-get update && \
    apt-get install -y spin

Kali Linux

RUN apt-get update && \
    apt-get install -y spin

Fedora

RUN dnf install -y spin

Raspbian

RUN apt-get update && \
    apt-get install -y spin

click the source code to copy install ispin on any operating system with command-not-found.com