[schedule] the schedule has been updated so that... the BDD package is due next Wednesday (10/15), the Kripke to BDD translator is due the following wednesday (10/22) and the symbolic model checker is due the friday after that (10/31-Halloween!).
Posted by jones at October 10, 2003 11:01 AM