ispin
formal software verification tool
RUN apt-get update && \
apt-get install -y spin
RUN apt-get update && \
apt-get install -y spin
RUN apt-get update && \
apt-get install -y spin
RUN dnf install -y spin
RUN apt-get update && \
apt-get install -y spin