DevNet環境で、YANGモデルから生成されたXML/JSONデータを検証（Validate）するために使用されるツールやプロセスはどれか。

IKEv2において、Mobility (MOBIKE) 機能が有効な場合、クライアントのIPアドレス変更時に実行される手順はどれか。