Invention Grant
US07698668B2 Automatic translation of simulink models into the input language of a model checker
失效
将simulink模型自动翻译成模型检查器的输入语言
- Patent Title: Automatic translation of simulink models into the input language of a model checker
- Patent Title (中): 将simulink模型自动翻译成模型检查器的输入语言
-
Application No.: US11545134Application Date: 2006-10-10
-
Publication No.: US07698668B2Publication Date: 2010-04-13
- Inventor: Meenakshi Balasubramanian , Abhishek Bhatnagar , Sudeepa Roy
- Applicant: Meenakshi Balasubramanian , Abhishek Bhatnagar , Sudeepa Roy
- Applicant Address: US NJ Morristown
- Assignee: Honeywell International Inc.
- Current Assignee: Honeywell International Inc.
- Current Assignee Address: US NJ Morristown
- Agency: Schiff Hardin LLP
- Main IPC: G06F17/50
- IPC: G06F17/50 ; G06F9/45
Abstract:
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.
Public/Granted literature
- US20080086705A1 Automatic translation of simulink models into the input language of a model checker Public/Granted day:2008-04-10
Information query
