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…
Algebraic methodology and software technology: 13th international conference, AMAST 2010, Lac-Be…
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
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…