transfer NuSMV View to tab view