Verification of Morphological Analyzers

M. Vilares Ferro
J. Graña Gil
F. Cacheda Seijo


This paper is a reflection on the use of verification tools in morphological analyzers. The growing complexity of taggers poses serious problems for the software engineer in order to verify the correctness of the tagging procedure. In this context, our goal is to integrate this kind of facility to check for the exact properties of the system.

Key words: Morphological Analysis, Verification Tools, Safety.
This work was partially supported by the Autonomous Government of Galicia under project XUGA20403B95.
Jorge Graña Gil /