Compositional Protocol Logic CS 395T Outline Floyd-Hoare logic of programs Compositional reasoning about properties of programs DDMP protocol logic Developed by Datta, Derek,…