- Vasvi Kakkad. Formal - Tool for mathematical analysis of language Method for precisely designing language Well formed model for describing and.