Many Mobius partners work closely with non-Mobius partners on tool development projects. We must coordinate these efforts to ensure maximum utilization of development resources.

Currently the following coordination is taking place:

• JosephKiniry is coordinating with Kansas State University^? on the development of the Cadena, Bogor, Kiesan, and Indus systems. There are also discussions afoot wrt developing an information flow logic in ESC/Java.
• JosephKiniry is coordinating with Concordia University^? on several pieces of work including new assertion semantics for JML (realized in the JML tool suite and ESC/Java) and the use of the JML compiler for ESC/Java.
• JosephKiniry is coordinating with Stanford Research International^? on the development of PVS 4.0, SAL, and Yices.
• JosephKiniry is coordinating with Massachusetts Institute Of Technology^? on the development of Daikon and their Continuous Unit Testing framework.
• JosephKiniry is coordinating with the University Of Iowa^? on the development of CVC3.