operational semantics, data race freedom, bisimulation, model checking, memory consistency models
program verification, model checking, memory consistency models
program verification, model checking, memory consistency models
program verification, garbage collection, memory consistency models, model checking
memory consistency models, model checking, program verification