Suchergebnisse - Specifying and Verifying and Reasoning about Programs—Mechanical verification

Static analysis of arithmetical congruences von Granger, Philippe

“… In this paper, a new kind of static (or semantic) analysis is defined: congruence analysis, which is conceived to discover the properties of the following …”
Volltext