General Methods: Assertions, Rewriting, Abstract Interpretation and Logics