This proceedings volume surveys the state of the art in concurrent program specification, verific...