Expert knowledge

VDM (with rely and guarantee conditions)

Z

various Hoare logics (including use of Separation logic with Abstract Interpretation)

various process algebras (e.g. CSP, CCS, SCCS and $\pi$-calculus)

various temporal/modal logics (e.g. TLA)