Preview

MCRL2-202307.1
- mCRL2-mcrl2-202307.1.zip
  
  11.6 MB
README.md

9.3 kB
changes.patch

7.2 kB
install.sh

508 Bytes
models
- 11073-2.mcrl2
  
  39.4 kB
- 11073-3.mcrl2
  
  39.4 kB
- cylinder.mcrl2
  
  362.1 kB
- fourinarow3-4.mcrl2
  
  11.7 kB
- fourinarow3-5.mcrl2
  
  11.7 kB
- fourinarow4-3.mcrl2
  
  11.7 kB
- fourinarow4-4.mcrl2
  
  11.7 kB
- fourinarow4-5.mcrl2
  
  11.7 kB
- fourinarow5-3.mcrl2
  
  11.7 kB
- fourinarow5-4.mcrl2
  
  11.7 kB
- onoff.mcrl2
  
  692 Bytes
- sla10.mcrl2
  
  4.1 kB
- sla13.mcrl2
  
  4.1 kB
- sla7.mcrl2
  
  4.1 kB
- swp2-2.mcrl2
  
  3.0 kB
- swp2-4.mcrl2
  
  3.1 kB
- swp2-6.mcrl2
  
  3.1 kB
- swp2-8.mcrl2
  
  3.1 kB
- swp4-2.mcrl2
  
  3.0 kB
- swp4-4.mcrl2
  
  3.1 kB
- swp4-6.mcrl2
  
  3.1 kB
- swp4-8.mcrl2
  
  3.1 kB
- tictactoe3-3.mcrl2
  
  2.6 kB
- wms.mcrl2
  
  30.3 kB
run.py

13.3 kB
table.py

5.5 kB
tableLayout.py

5.1 kB
timeout

18.4 kB