seminar
memory consistency models, program logic, logic
program verification, model checking, memory consistency models