About

CS 766 assignment at IIT Bombay (with Sachin Singh Lodhi): enumerates every execution of small concurrent programs under sequential consistency, discards cyclic ones using rf/ws/fr edges, and checks assertions against the rest. Java.

Topics