Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
The spline finite element procedure is used in space domain and the state space technique in time domain respectively.
对空间域采用混合样条元法，对时间域采用现代控制论中的状态空间法。
Model checking is a technique for automatically verifying finite-state concurrent systems.
检验 有限状态并发系统的技术。
应用推荐