The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.

使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。

youdao

Venables: Please comment on the state of U.S. space exploration after the cancellation of the Constellation program.

FORBES: NASA, Got Space Exploration? Get Goals, Get Funding and Get Uhura.