alt-ergo
Automatic theorem prover dedicated to program verification
RUN apt-get update && \
apt-get install -y alt-ergo
RUN apt-get update && \
apt-get install -y alt-ergo
RUN apt-get update && \
apt-get install -y alt-ergo
RUN dnf install -y alt-ergo
RUN apt-get update && \
apt-get install -y alt-ergo