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…
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductivel…
by Johnson, Michael, Pavlovic, Dusko, International Conference on Algebraic Methodology and Software Technology, Lac-Beauport, Québec), AMAST, Lac Beauport, AMAST, Lac-Beauport, QC)
fromLecture Notes in Computer Science
