Solutions

This page contains links to the solutions developed by participants during the competition, and polished afterwards. Solutions may be updated as time goes on.
ċ
challenge1.mcrl2
(3k)
Marieke Huisman,
Jun 22, 2016, 12:09 PM
ċ
challenge2.mcrl2
(3k)
Marieke Huisman,
Jun 22, 2016, 12:10 PM
ċ
challenge3-v2.mcrl2
(7k)
Marieke Huisman,
Jun 22, 2016, 12:10 PM
ċ
modal_formula.mcf
(0k)
Marieke Huisman,
Jun 22, 2016, 12:09 PM