6 citations · 18 across the 6 of their papers we have counts for
1 paper · 2 filters
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…