Title: Formal Approaches Categorization