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.
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.eduLicense