Special section on recent progress in numerical verification