公开(公告)号：US20100088678A1

公开(公告)日：2010-04-08

申请号：US12569747

申请日：2009-09-29

申请人： Musab AlTurki ,  Dinakar Dhurjati ,  Dachuan Yu ,  Ajay Chander ,  Hiroshi Inamura

发明人： Musab AlTurki ,  Dinakar Dhurjati ,  Dachuan Yu ,  Ajay Chander ,  Hiroshi Inamura

IPC分类号： G06F9/44

CPC分类号： G06F8/10 ,  G06F11/3608

摘要： A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs.

摘要翻译： 本文公开了一种方法和装置，用于正时规范和时序性质的分析。 在一个实施例中，该方法包括接收包括以规范语言表达的定时行为的软件设计; 分析时序行为; 并使用基于抽象解释的静态分析来检测一个或多个定时构造的滥用。