Overovanie modelov – Ostatné jazyky