HOL (higher-order logic) – MDG (multiway decision graphs) – Hybrid tools – Hierarchical verification