PanLinx: program verification and validation

English	eng-000
program verification and validation

Esperanto	epo-000	atestado
Esperanto	epo-000	programkontrolo

PanLex-PanLinx