7 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
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…