DMCA

An automata-based symbolic approach for verifying programs on relaxed memory models

by Er Linden , Pierre Wolper
Venue:In SPIN (2010
Citations:11 - 0 self