Deciding Serializability in Network Systems

Guy Amir, Mark Barbone, Nicolas Amat +1

We present the SER modeling language for automatically verifying serializability of concurrent programs, i.e., whether every concurrent execution of the program is equivalent to so…