The Inductive Assertion Method: Floyd's inductive assertion method for transition diagrams - The inductive assertion method for shared-variable concurrency - The inductive assertion method for synchronous message passing - Expressibility and relative completeness - Compositional…
