首页>
外国专利>
Automatic translation of simulink models into the input language of a model checker
Automatic translation of simulink models into the input language of a model checker
展开▼
机译:将simulink模型自动翻译为模型检查器的输入语言
展开▼
页面导航
摘要
著录项
相似文献
摘要
A translator converts an input model, such as resulting from a simulation of a design to be verified, into an output model suitable for verification by a model checker. The input model, for example, may be produced using Simulink, and the output model, for example, may be a NuSMV model.
展开▼