初始化：测试程序3C。系统正在启动……

Инициализация: тестовый протокол 3-C. Загрузка систем…

程序的初始程序

routine initializer

初始程序的装入程序

initial program loader (IPL)

初始化最终调整序列。

Запуск финальной настройки.

建议：初始化熔炉启动序列。

Рекомендация: запустить процедуру активации Кузни Сердца.

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.

初始设计开发阶段，首先必须发现可能存在的错误，并作相应的设计修改。正是在这个时期中，设计辅助程序、仿真技术和设计支援技术对于快速设计都是必不可少的。

The initial design development stage wherein, at first, it is certain that errors will be discovered which will require design changes. It is in this period that design aids, emulation techniques, and supportive design techniques are essential to quick design.