专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

51. 发明申请

US20090064111A1 Formal Verification of Graphical Programs 审中-公开
标题翻译：图形程序的正式验证
公开(公告)号：US20090064111A1
公开(公告)日：2009-03-05
申请号：US11834084
申请日：2007-08-06
申请人： Jacob Kornerup , Grant O. Passmore
发明人： Jacob Kornerup , Grant O. Passmore
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06F8/34
摘要： System and method for formal verification of a graphical program. A graphical program comprising a plurality of interconnected nodes is created in response to input. One or more correctness assertions regarding program state of the graphical program are specified in response to user input, and a proof obligation generated based on the graphical program and the correctness assertions, which is usable by a theorem prover to determine correctness of the graphical program. The proof obligation may be generated by compiling the graphical program to generate an object-level diagram, parsing the correctness assertions to generate an intermediate logical form of the one or more correctness assertions, and analyzing the object-level diagram, the intermediate logical form, and/or semantics of the graphical programming language in which the graphical program is written to generate the proof obligation. A theorem prover may then process the proof obligation to determine whether the graphical program is correct.
摘要翻译：用于图形程序的形式验证的系统和方法。响应于输入而创建包括多个互连节点的图形程序。响应于用户输入指定关于图形程序的程序状态的一个或多个正确性断言，以及基于图形程序和正确性断言产生的证明义务，其由定理证明器可用以确定图形程序的正确性。证明义务可以通过编译图形程序来生成对象级图，解析正确性断言以生成一个或多个正确性断言的中间逻辑形式，并分析对象级图，中间逻辑形式，和/或其中写入图形程序以产生证明义务的图形编程语言的语义。然后，定理证明者可以处理证明义务，以确定图形程序是否正确。

52. 发明申请

US20080034079A1 Diagram with Configurable Wires 有权
标题翻译：具有可配置电线的图
公开(公告)号：US20080034079A1
公开(公告)日：2008-02-07
申请号：US11759991
申请日：2007-06-08
申请人： Jeffrey Kodosky , Jeffrey Correll , David Fuller , Timothy Hayles , John Breyer , Jacob Kornerup
发明人： Jeffrey Kodosky , Jeffrey Correll , David Fuller , Timothy Hayles , John Breyer , Jacob Kornerup
IPC分类号： G06F3/048 , G06F15/173
CPC分类号： G06F3/0484 , G06F8/34 , Y10S715/964 , Y10S715/967
摘要： Configuring wires/icons in a diagram. The diagram may be an executable diagram such as a graphical program or a system diagram. The diagram may include a plurality of icons that are connected by wires, and the icons may visually represent functionality of the diagram. The diagram may be executable to perform the functionality. Displaying the diagram may include displaying a first wire in the diagram, where the first wire connects a first icon and a second icon. Data transfer functionality may be specified for the first wire and/or the first or second icon in the diagram. The data transfer functionality may be visually indicated in the diagram, e.g., by appearances of the first icon, the second icon, the first wire, and/or icons displayed proximate to these components of the diagram.
摘要翻译：在图中配置电线/图标。该图可以是诸如图形程序或系统图的可执行图。该图可以包括通过线连接的多个图标，并且图标可以在视觉上表示该图的功能。该图可以是可执行的以执行功能。显示图可以包括在图中显示第一线，其中第一线连接第一图标和第二图标。可以为图中的第一线和/或第一或第二图标指定数据传输功能。数据传输功能可以在图中以视觉方式指示，例如通过第一图标，第二图标，第一导线和/或附近显示在图的这些部件上的图标的出现。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式