FR2911971B1 - Procede et systeme de verification de proprietes d'un programme informatique. - Google Patents
Procede et systeme de verification de proprietes d'un programme informatique.Info
- Publication number
- FR2911971B1 FR2911971B1 FR0700557A FR0700557A FR2911971B1 FR 2911971 B1 FR2911971 B1 FR 2911971B1 FR 0700557 A FR0700557 A FR 0700557A FR 0700557 A FR0700557 A FR 0700557A FR 2911971 B1 FR2911971 B1 FR 2911971B1
- Authority
- FR
- France
- Prior art keywords
- computer program
- verifying properties
- verifying
- properties
- program
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000004590 computer program Methods 0.000 title 1
- 238000000034 method Methods 0.000 title 1
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
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0700557A FR2911971B1 (fr) | 2007-01-26 | 2007-01-26 | Procede et systeme de verification de proprietes d'un programme informatique. |
PCT/EP2008/050901 WO2008095799A2 (fr) | 2007-01-26 | 2008-01-25 | Procede et systeme de verification de proprietes d'un programme informatique |
US12/524,467 US8352918B2 (en) | 2007-01-26 | 2008-01-25 | Method and system for verifying properties of a computer program |
EP08708225A EP2109821A2 (fr) | 2007-01-26 | 2008-01-25 | Procede et systeme de verification de proprietes d'un programme informatique |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0700557A FR2911971B1 (fr) | 2007-01-26 | 2007-01-26 | Procede et systeme de verification de proprietes d'un programme informatique. |
Publications (2)
Publication Number | Publication Date |
---|---|
FR2911971A1 FR2911971A1 (fr) | 2008-08-01 |
FR2911971B1 true FR2911971B1 (fr) | 2009-04-24 |
Family
ID=38226320
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR0700557A Active FR2911971B1 (fr) | 2007-01-26 | 2007-01-26 | Procede et systeme de verification de proprietes d'un programme informatique. |
Country Status (4)
Country | Link |
---|---|
US (1) | US8352918B2 (fr) |
EP (1) | EP2109821A2 (fr) |
FR (1) | FR2911971B1 (fr) |
WO (1) | WO2008095799A2 (fr) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8635602B2 (en) * | 2010-07-26 | 2014-01-21 | International Business Machines Corporation | Verification of information-flow downgraders |
US8935674B2 (en) * | 2012-08-15 | 2015-01-13 | International Business Machines Corporation | Determining correctness conditions for use in static analysis |
Family Cites Families (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6029002A (en) * | 1995-10-31 | 2000-02-22 | Peritus Software Services, Inc. | Method and apparatus for analyzing computer code using weakest precondition |
US6275976B1 (en) * | 1996-03-15 | 2001-08-14 | Joseph M. Scandura | Automated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specifications |
US6381735B1 (en) * | 1998-10-02 | 2002-04-30 | Microsoft Corporation | Dynamic classification of sections of software |
GB9825102D0 (en) * | 1998-11-16 | 1999-01-13 | Insignia Solutions Plc | Computer system |
US7430670B1 (en) * | 1999-07-29 | 2008-09-30 | Intertrust Technologies Corp. | Software self-defense systems and methods |
US7284274B1 (en) * | 2001-01-18 | 2007-10-16 | Cigital, Inc. | System and method for identifying and eliminating vulnerabilities in computer software applications |
US7299458B2 (en) * | 2002-10-31 | 2007-11-20 | Src Computers, Inc. | System and method for converting control flow graph representations to control-dataflow graph representations |
US7051322B2 (en) * | 2002-12-06 | 2006-05-23 | @Stake, Inc. | Software analysis framework |
ATE526628T1 (de) * | 2004-01-22 | 2011-10-15 | Nec Lab America Inc | System und verfahren zum modellieren, abstrahieren und analysieren von software |
US7587708B2 (en) * | 2004-07-20 | 2009-09-08 | International Business Machines Corporation | Method for testing converted source code |
US7793273B2 (en) * | 2004-11-23 | 2010-09-07 | National Instruments Corporation | Type propagation for automatic casting of output types in a data flow program |
US7549144B2 (en) * | 2005-02-22 | 2009-06-16 | Microsoft Corporation | Custom API modeling for source code static analysis simulator |
US7703075B2 (en) * | 2005-06-22 | 2010-04-20 | Microsoft Corporation | Programmable annotation inference |
US7685572B1 (en) * | 2005-08-19 | 2010-03-23 | Sun Microsystems, Inc. | Method of static analysis for race condition detection |
US7861226B1 (en) * | 2006-03-16 | 2010-12-28 | Avaya Inc. | Constraint solver to code based test data generation for improving software reliability and security |
-
2007
- 2007-01-26 FR FR0700557A patent/FR2911971B1/fr active Active
-
2008
- 2008-01-25 US US12/524,467 patent/US8352918B2/en active Active
- 2008-01-25 WO PCT/EP2008/050901 patent/WO2008095799A2/fr active Application Filing
- 2008-01-25 EP EP08708225A patent/EP2109821A2/fr not_active Ceased
Also Published As
Publication number | Publication date |
---|---|
WO2008095799A2 (fr) | 2008-08-14 |
US20100115493A1 (en) | 2010-05-06 |
US8352918B2 (en) | 2013-01-08 |
WO2008095799A3 (fr) | 2009-08-13 |
FR2911971A1 (fr) | 2008-08-01 |
EP2109821A2 (fr) | 2009-10-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
GB2435534B (en) | Method,system,and computer program product for performing prognosis and asset management services | |
FR2916592B1 (fr) | Procede de securisation d'echange d'information,dispositif, et produit programme d'ordinateur correspondant | |
FR2895545B1 (fr) | Procede d'authentification d'applications d'un systeme informatique | |
EP2044523A4 (fr) | Procédé et système permettant d'identifier et de mener un inventaire des fichiers informatiques sur un réseau | |
TWI370966B (en) | Apparatus, method and computer program for processing information | |
EP2101147A4 (fr) | Système, procédé de transmission d'information et programme informatique | |
FR2918777B1 (fr) | Procede, programme et systeme informatique de consiliation de donnees de modele de reservoir d'hydrocarbure. | |
FR2909200B1 (fr) | Procede, programme et systeme informatique de simulation de chenaux | |
FR2929733B1 (fr) | Systeme et procede de securisation d'un ordinateur comportant un micronoyau | |
IL198772A0 (en) | Method, system and computer program product for video insertion | |
EP2000917A4 (fr) | Dispositif de traitement d'informations, procédé de traitement d'informations et programme informatique | |
FR2948472B1 (fr) | Dispositif de verification de l'integrite d'une donnee affichee et procede associe | |
FR2918776B1 (fr) | Procede, programme et systeme informatique de mise a l'echelle de donnees de modele de reservoir d'hydrocarbure. | |
EP1997312A4 (fr) | Procede de fourniture d'information de guide de programme electronique (epg) et systeme de fourniture d'information epg correspondant | |
EP2018054A4 (fr) | Dispositif et procede de traitement d'informations et programme informatique | |
FR2958059B1 (fr) | Procede, programme d'ordinateur et dispositif de validation d'execution de taches dans des systemes informatiques evolutifs | |
FR2877122B1 (fr) | Systeme et procede d'authentification d'un objet | |
FR2937490B1 (fr) | Procede et dispositif d'horodatage d'un flux de donnees, procede et dispositif d'insertion et produits programme d'ordinateur correspondants. | |
FR2906380B1 (fr) | Systeme et procede de securisation de donnees. | |
EP2018055A4 (fr) | Dispositif et procédé informatiques, et logiciel | |
FR2931282B1 (fr) | Procede de vote electronique, produit programme d'ordinateur dispositif d'inscription de vote et dispositif de lecture correspondants. | |
FR2911971B1 (fr) | Procede et systeme de verification de proprietes d'un programme informatique. | |
FR2927754B1 (fr) | Procede de transmission, dispositif, produit programme d'ordinateur et signal correspondants. | |
EP2018056A4 (fr) | Dispositif de traitement de données et procédé de traitement de données, et programme informatique | |
FR2929417B1 (fr) | Procede de determination d'une representation tridimensionnelle d'un objet a partir de points, programme d'ordinateur et systeme d'imagerie correspondant |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PLFP | Fee payment |
Year of fee payment: 10 |
|
PLFP | Fee payment |
Year of fee payment: 11 |
|
PLFP | Fee payment |
Year of fee payment: 12 |
|
PLFP | Fee payment |
Year of fee payment: 14 |
|
PLFP | Fee payment |
Year of fee payment: 15 |
|
PLFP | Fee payment |
Year of fee payment: 16 |
|
PLFP | Fee payment |
Year of fee payment: 17 |
|
PLFP | Fee payment |
Year of fee payment: 18 |