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