Differences

This shows you the differences between two versions of the page.

--- lab10 [2017/03/17 22:21] – franck
+++ lab10 [2020/03/19 23:16] (current) – franck
@@ Line 1: / Line 1: @@
-====== Lab 10 ======
+====== Lab 7 ======
-In 1994, John Trono introduced the Santa Claus problem.  Its description can be found in\\
+Download {{:lab7.zip|lab7.zip}}.  This file contains a simplified version of the code for Lab 6.  The corresponding API can be found [[http://www.eecs.yorku.ca/course_archive/2019-20/W/4315/api/lab7/|here]].  Use Java PathFinder to check some properties of the code (for example, never are a red and blue car on the bridge at the same time, each car reaches the end of the bridge [as long as there are finitely many cars that want to cross the bridge], etc).  You may modify the code (add, for example, ghost variables), develop a listener, etc.  Describe which properties you have checked, the changes you have made to the code, etc.
-John Trono.
-[[http://dx.doi.org.ezproxy.library.yorku.ca/10.1145/187387.187391|A new exercise in concurrency]].
-//ACM SIGCSE Bulletin//, 26(3):8-10, September 1994.\\
-The paper also contains a solution.  Implement this solution in Java.
+To receive feedback, submit your modified and/or new Java code, the application properties file and a file containing a description of how you addressed the problem, by using
+<code>
+submit 4315 lab7 <name of file>
+</code>
+**before** Thursday March 26.