e/Syntactic methods

Information
has gloss	eng: In software engineering, syntactic methods are techniques for developing correct software programs. The techniques attempt to detect, and thus prevent, certain kinds of defects (bugs) by examining the structure of the code being produced at its syntactic rather than semantic level.
lexicalization	eng: Syntactic methods
instance of	e/Formal methods