IN2013MU02701A - - Google Patents
Download PDFInfo
- Publication number
- IN2013MU02701A IN2013MU02701A IN2701MU2013A IN2013MU02701A IN 2013MU02701 A IN2013MU02701 A IN 2013MU02701A IN 2701MU2013 A IN2701MU2013 A IN 2701MU2013A IN 2013MU02701 A IN2013MU02701 A IN 2013MU02701A
- Authority
- IN
- India
- Prior art keywords
- program code
- program
- module
- path
- computed
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN2701MU2013 IN2013MU02701A (es) | 2013-08-19 | 2013-08-19 | |
JP2014147675A JP5955900B2 (ja) | 2013-08-19 | 2014-07-18 | 状態遷移経路の算出によるスリープ・ウェークアッププロトコル検証のための方法およびシステム |
US14/336,171 US9141511B2 (en) | 2013-08-19 | 2014-07-21 | Method and system for verifying sleep wakeup protocol by computing state transition paths |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN2701MU2013 IN2013MU02701A (es) | 2013-08-19 | 2013-08-19 |
Publications (1)
Publication Number | Publication Date |
---|---|
IN2013MU02701A true IN2013MU02701A (es) | 2015-06-26 |
Family
ID=52467774
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
IN2701MU2013 IN2013MU02701A (es) | 2013-08-19 | 2013-08-19 |
Country Status (3)
Country | Link |
---|---|
US (1) | US9141511B2 (es) |
JP (1) | JP5955900B2 (es) |
IN (1) | IN2013MU02701A (es) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109446056B (zh) * | 2018-09-11 | 2023-03-21 | 平安科技(深圳)有限公司 | 代码验证方法、装置、电子设备及介质 |
CN111866060A (zh) * | 2020-05-26 | 2020-10-30 | 普联国际有限公司 | 通信设备的tls连接方法、通信设备和通信系统 |
CN115865791B (zh) * | 2023-03-02 | 2023-05-09 | 北京天弛网络有限公司 | 骨干网络故障的路径切换方法、系统、介质及电子设备 |
Family Cites Families (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5872909A (en) * | 1995-01-24 | 1999-02-16 | Wind River Systems, Inc. | Logic analyzer for software |
US6178394B1 (en) | 1996-12-09 | 2001-01-23 | Lucent Technologies Inc. | Protocol checking for concurrent systems |
JP3943665B2 (ja) * | 1997-09-01 | 2007-07-11 | 株式会社東芝 | スリープ制御方法、およびイベント通知方法 |
JP3458796B2 (ja) * | 1999-10-18 | 2003-10-20 | 株式会社デンソー | 割込命令チェック装置及び記録媒体 |
JP2001117793A (ja) * | 1999-10-21 | 2001-04-27 | Denso Corp | 割込命令チェック装置及び記録媒体 |
JP2002055833A (ja) * | 2000-08-09 | 2002-02-20 | Toshiba Corp | リアルタイムシステム設計装置、リアルタイムシステム設計方法及びリアルタイムシステム設計プログラムを記録した記録媒体 |
US20030084376A1 (en) * | 2001-10-25 | 2003-05-01 | Nash James W. | Software crash event analysis method and system |
JP2003323465A (ja) * | 2002-04-30 | 2003-11-14 | Canon Inc | 省電力時の不正アクセス自動検証装置 |
US20060075305A1 (en) * | 2004-10-01 | 2006-04-06 | Microsoft Corporation | Method and system for source-code model-based testing |
JP2006331027A (ja) * | 2005-05-25 | 2006-12-07 | Nissan Motor Co Ltd | 検査装置、検査方法、及び検査プログラム |
JP4414373B2 (ja) * | 2005-06-30 | 2010-02-10 | 富士通株式会社 | プログラムの検証プログラム、プログラムの検証装置、プログラムの検証方法 |
US20090132991A1 (en) | 2007-11-16 | 2009-05-21 | Nec Laboratories America, Inc | Partial order reduction for scalable testing in system level design |
JP2010066889A (ja) * | 2008-09-09 | 2010-03-25 | Sharp Corp | 排他制御不具合候補抽出装置、排他制御不具合候補抽出方法、および排他制御不具合候補抽出プログラム |
US20100275186A1 (en) * | 2009-04-28 | 2010-10-28 | Microsoft Corporation | Segmentation for static analysis |
US20110145799A1 (en) * | 2009-12-12 | 2011-06-16 | Microsoft Corporation | Path-sensitive dataflow analysis including path refinement |
JP5088754B2 (ja) * | 2009-12-18 | 2012-12-05 | インターナショナル・ビジネス・マシーンズ・コーポレーション | システム、方法、プログラムおよびコード生成装置 |
JP2011191843A (ja) * | 2010-03-12 | 2011-09-29 | Toyota Central R&D Labs Inc | 割込干渉解析装置、割込干渉解析方法、及び割込干渉解析プログラム |
KR101649925B1 (ko) * | 2010-10-13 | 2016-08-31 | 삼성전자주식회사 | 멀티 트레드 프로그램에서 변수의 단독 메모리 접근여부를 분석하는 방법 |
US8448146B2 (en) * | 2011-03-31 | 2013-05-21 | Infosys Limited | Generation of functional tests for re-hosted applications |
US8838413B2 (en) | 2011-05-12 | 2014-09-16 | Saudi Arabian Oil Company | Valve actuator fault analysis system |
US20140208297A1 (en) * | 2013-01-20 | 2014-07-24 | International Business Machines Corporation | Validation of revised computer programs |
US20140189652A1 (en) * | 2013-05-21 | 2014-07-03 | Concurix Corporation | Filtering and Transforming a Graph Representing an Application |
-
2013
- 2013-08-19 IN IN2701MU2013 patent/IN2013MU02701A/en unknown
-
2014
- 2014-07-18 JP JP2014147675A patent/JP5955900B2/ja active Active
- 2014-07-21 US US14/336,171 patent/US9141511B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
US9141511B2 (en) | 2015-09-22 |
JP5955900B2 (ja) | 2016-07-20 |
JP2015038724A (ja) | 2015-02-26 |
US20150052504A1 (en) | 2015-02-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
GB2527009A (en) | Simulation of production systems | |
AR109633A1 (es) | Sistemas para ajustar datos de entrada agronómicos utilizando detección remota y métodos y aparatos relacionados | |
IN2013MU03158A (es) | ||
WO2014099532A3 (en) | Method and system for network validation of information | |
MX2015014242A (es) | Metodos y sistemas de ajuste historico de yacimientos para un mejor calculo del rendimiento del yacimiento. | |
IN2014DN10099A (es) | ||
PL405872A1 (pl) | Sposób, program i system konwersji modeli danych systemu zasilania | |
MX2016004126A (es) | Sistemas y metodos para sistemas de manejo de respuesta a demanda mejorados (drms). | |
HK1155256A1 (en) | A method for monitoring etl data processing procedure and the system thereof etl | |
MX353611B (es) | Sistemas y métodos para iniciar una prueba de verificación dentro de un medidor de flujo a través de una computadora de flujo. | |
WO2014018291A3 (en) | Systems and methods for improving control system reliability | |
MX2015011182A (es) | Circulos de comercio. | |
IN2014MU04090A (es) | ||
WO2013044260A3 (en) | Fast minimum and maximum searching instruction | |
GB2505602A (en) | Protecting a control vector in a cryptographic system | |
IN2013MU03236A (es) | ||
IN2013DE02920A (es) | ||
MX2013002348A (es) | Monitoreo de aplicacion. | |
IN2012DE00914A (es) | ||
IN2013MU02701A (es) | ||
WO2014036306A3 (en) | System and method for determining a value of information metric from a posterior distribution generated through stochastic inversion | |
IN2013MU03382A (es) | ||
GB201206932D0 (en) | Comparing event data sets | |
SG10201805187WA (en) | Entity authentication in network | |
WO2014030930A3 (ko) | 에너지 관리 대상 모델링을 통한 에너지 관리 방법 |