Innovation >> Impact


CoreDet is software designed to enable deterministic execution of multithreaded C/C++ applications.

For more information:

Licensing Information

CoreDet is one of the many software programs and tools created at the University of Washington available through our Express Licensing Program. These agreements have standard terms and conditions that allow for rapid licensing by companies, organizations, or individuals.

Academic Use License

This is an academic use license that does not provide modification or redistribution rights.  If you would like to join the collaboration group with modification rights, or are interested in commercial rights, please contact


The conditions and financial terms of this license apply only to those who download the license, sign it and return it "as is" to UW CoMotion. Some Express Licenses may be modified for an additional cost. Other licensing arrangements may be available.

For Descriptive and Technical Information

Luis Ceze


For Licensing Information/Customer Service

Express Licensing Program
UW CoMotion
4545 Roosevelt Way NE, Suite 400
Phone: (206) 543-3970
Fax: (206) 616-3322