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.
See also Bart Jacob's paper in the proceedings of FTfJP 2016.
ċ
ChallengeI.zip
(5k)
Marieke Huisman,
Jun 22, 2016, 12:18 PM
ċ
ChallengeII.zip
(6k)
Marieke Huisman,
Jun 22, 2016, 12:18 PM
ċ
ChallengeIII.zip
(246k)
Marieke Huisman,
Jun 22, 2016, 12:18 PM
ċ
barrier.cvl
(3k)
Marieke Huisman,
Mar 17, 2017, 1:38 AM
ċ
challenge1.dfy
(2k)
Marieke Huisman,
Apr 17, 2016, 5:09 AM
ċ
matmul.java
(5k)
Marieke Huisman,
Apr 6, 2016, 2:41 AM
ċ
mmp1.cvl
(2k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
mmp2.cvl
(1k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
mmp3.cvl
(5k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
tree.cvl
(2k)
Marieke Huisman,
Mar 17, 2017, 1:39 AM
ċ
tree_barrier.java
(10k)
Marieke Huisman,
Apr 6, 2016, 2:42 AM
ċ
tree_traversal.java
(4k)
Marieke Huisman,
Apr 6, 2016, 2:42 AM