/Assignment2/src/

• ../
• DTMC.dcl
• DTMC.icl
• Dockerfile
• Z3.dcl
• Z3.icl
• die.prism
• die.properties
• run.py
• start.sh