CoreDet is software designed to enable deterministic execution of multithreaded C/C++ applications.
For more information: http://sampa.cs.washington.edu/sampa/Deterministic_MultiProcessing_(DMP)
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 LicenseLicense
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 Ceze@cs.washington.edu
The conditions and financial terms of this license apply only to those who download the license, sign it and return it "as is" to the UW Center for Commercialization. Some Express Licenses may be modified for an additional cost. Other licensing arrangements may be available.
For Descriptive and Technical Information
For Licensing Information/Customer Service
UW Center for Commercialization
4311 11th Avenue NE, Suite 500
Seattle, WA 98105-4608
Phone: (206) 543-3970
Fax: (206) 616-3322