Improving the scalability and speed of Formal Methods becomes hot spot in worldwide research.

• 提高形式验证的验证规模和速度成为国际研究的热点。