hsv2
hsv2-
We have designed and implemented a prototype of the framework , called HSV2 ( Hybrid Systems Validation and Verification ), which supports integrated verification and simulation of models of hybrid systems based on XML and hybrid automata .
从这个思路出发，我们开展了对混合系统验证和确认集成平台原型的研究，以XML格式的混合自动机模型描述语言为基础，设计和实现了功能集成机制，并实现了模拟功能的集成。