OVL

Improving on OVL assertions and CTL properties, three kinds of properties are defined and verified, and the experimental results demonstrate the scheme improves the verification efficiency and scale.

通过对OVL语言和CTL描述进行改进，针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质，实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

The final step to get everything playing together is to leverage a bit of JavaScript to invoke the two Groovlets and accordingly update the Google Map residing on the page.

获得成功的最后一步是利用一些JavaScript来调用两个Groovlets并相应地更新页面中的Google地图。

Application of nonlinear dynamic inverse control law in lateral control for ASTOVL lift-fan aircraft control.

非线性动态逆控制律在ASTOVL升力风扇飞机侧向控制中的应用.