Functional Verification — Glossary — ThinkLLM