University of Kentucky - Department of Computer Science
Software Verification and Research Lab
- Led by Dr. Jane Hayes -
Authors: David Farrar, Jane Hayes, Sarah Griffioen, Clinton Woodson, Satrio Husodo, Gabrielle Adkins -
This material is based upon work supported by the National
Science Foundation under Grant CCF-1511117 - Last updated April 2018
TraceLab Components & Experiments
Each component and experiment is downloadable as a zip file by clicking one of the sets below.
Please cite each item in your paper as specified in the readme files included in each download.
Note: .dll files for components can be found in \dist folder in the component download
Note also: Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not
necessarily reflect the views of the National Science Foundation.