Download lab7.zip. This file contains a simplified version of the code for Lab 6. The corresponding API can be found 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.

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

submit 4315 lab7 <name of file>

before Thursday March 26.