Verifying Concurrent Data structure behavior using a Model Checker.
Master Project
of Casper Henkes
t.b.a.
Verifying Concurrent Data structure behavior using a Model Checker.
Student: Casper Henkes
Supervisor(s): Soham Chakraborty