There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
With this project, I want to make a blending between Persevere and taPCT. The idea is to find bugs in large amounts of concurrent threading instruction. For that we will first try and identify with this tool some known bugs from nano and emacs versions that were not yet corrected. We first model the system call as a set of events and then apply the taPCT algorithm when we are running multithreading programs.
