lpsxsim
formal specification language toolset
RUN apt-get update && \
apt-get install -y mcrl2
RUN apt-get update && \
apt-get install -y mcrl2
RUN apt-get update && \
apt-get install -y mcrl2
RUN apt-get update && \
apt-get install -y mcrl2