Model Checking project for CSEE E6863 Fall 2016
NOTE: Ensure you have build-essentials installed:
sudo apt install build-essentials
See instructions in the klee, cbmc, and llbmc folders for obtaining experiemental results.
See instructions in usbmouse folder for how original driver source was handled.