-
Notifications
You must be signed in to change notification settings - Fork 8
CoordinationWithNonMobiusPartners
Attila Sukosd edited this page Mar 15, 2013
·
3 revisions
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:
- JoeKiniry 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.
- JoeKiniry 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.
- JoeKiniry is coordinating with Stanford Research International on the development of PVS 4.0, SAL, and Yices.
- JoeKiniry is coordinating with Massachusetts Institute of Technology on the development of Daikon and their Continuous Unit Testing framework.
- JoeKiniry is coordinating with the University pf Iowa on the development of CVC3.
Version: 3 Time: Tue Feb 12 14:35:15 2008 Author: dcochran (dcochran) IP: 193.1.132.32