FR3042291B1 - Dispositif et procede de verification d'un logiciel - Google Patents

Dispositif et procede de verification d'un logiciel

Info

Publication number
FR3042291B1
FR3042291B1 FR1559641A FR1559641A FR3042291B1 FR 3042291 B1 FR3042291 B1 FR 3042291B1 FR 1559641 A FR1559641 A FR 1559641A FR 1559641 A FR1559641 A FR 1559641A FR 3042291 B1 FR3042291 B1 FR 3042291B1
Authority
FR
France
Prior art keywords
verifying software
verifying
software
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
Application number
FR1559641A
Other languages
English (en)
Other versions
FR3042291A1 (fr
Inventor
Aurore Dupuis
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Centre National dEtudes Spatiales CNES
Original Assignee
Centre National dEtudes Spatiales CNES
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Centre National dEtudes Spatiales CNES filed Critical Centre National dEtudes Spatiales CNES
Priority to FR1559641A priority Critical patent/FR3042291B1/fr
Publication of FR3042291A1 publication Critical patent/FR3042291A1/fr
Application granted granted Critical
Publication of FR3042291B1 publication Critical patent/FR3042291B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3604Software analysis for verifying properties of programs
    • G06F11/3608Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation

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)
FR1559641A 2015-10-09 2015-10-09 Dispositif et procede de verification d'un logiciel Active FR3042291B1 (fr)

Priority Applications (1)

Application Number Priority Date Filing Date Title
FR1559641A FR3042291B1 (fr) 2015-10-09 2015-10-09 Dispositif et procede de verification d'un logiciel

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR1559641A FR3042291B1 (fr) 2015-10-09 2015-10-09 Dispositif et procede de verification d'un logiciel

Publications (2)

Publication Number Publication Date
FR3042291A1 FR3042291A1 (fr) 2017-04-14
FR3042291B1 true FR3042291B1 (fr) 2017-11-17

Family

ID=55806414

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1559641A Active FR3042291B1 (fr) 2015-10-09 2015-10-09 Dispositif et procede de verification d'un logiciel

Country Status (1)

Country Link
FR (1) FR3042291B1 (fr)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113064012B (zh) * 2021-03-29 2024-06-18 万晖五金(深圳)有限公司 电子锁测试方法、测试系统、测试装置、设备和介质

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE102005042126A1 (de) * 2005-09-05 2007-03-15 Siemens Ag Verfahren und Vorrichtung zum automatisierten Bewerten der Qualität eines Software-Quellcodes
US9235494B2 (en) * 2013-03-14 2016-01-12 Syntel, Inc. Automated code analyzer

Also Published As

Publication number Publication date
FR3042291A1 (fr) 2017-04-14

Similar Documents

Publication Publication Date Title
FR3047688B1 (fr) Procede de securisation et de verification d'un document
FR3041798B1 (fr) Procede et dispositif d'authentification ameliores
PL3223184T3 (pl) Sposób i urządzenie do weryfikacji informacji dotyczących tożsamości
DK3198526T3 (da) Metoder og et system til verificering af et mærkes autenticitet
FR3052552B1 (fr) Procede et dispositif de verification d’un signal de guidage.
FR3028783B1 (fr) Systeme et procede de sertissage d'un composant de fixation sur un support
FR3016449B1 (fr) Procede de guidage d'atterrisage d'un aeronef, programme d'ordinateur et dispositif associes
FR3029173B1 (fr) Dispositif et procede de deverrouillage d'un dispositif d'avitaillement
FR3036527B1 (fr) Dispositif, systeme et procede de dematerialisation de facturettes
FR3031178B1 (fr) Dispositif de verification de l'etancheite
FR3028980B1 (fr) Procede et dispositif d'authentification d'un utilisateur
GB2602895B (en) A method and system for authenticating a device
FR3021240B1 (fr) Dispositif et procede de reperage d'une position sur une piece
FR3054626B1 (fr) Procede de verification du fonctionnement d'un dispositif d'embrayage
HK1211099A1 (en) Method and device for verifying information
FR3025256B1 (fr) Dispositif deployable de plateforme et procede associe
FR3024003B1 (fr) Dispositif et procede d'authentification de document
FR3042291B1 (fr) Dispositif et procede de verification d'un logiciel
FR3044124B1 (fr) Procede de verification d'integrite d'un ensemble de donnees
FR3018032B1 (fr) Procede et dispositif pour le brushing de cheveux
FR3058320B1 (fr) Dispositif et procede de decontamination
GB2595836B (en) A method and system for authenticating a device
FR3042558B1 (fr) Dispositif et procede de fixation
FR3050262B1 (fr) Dispositif et procede de lyophilisation
FR3034194B1 (fr) Dispositif de metrologie et procede associe

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20170414

PLFP Fee payment

Year of fee payment: 3

PLFP Fee payment

Year of fee payment: 4

PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 6

PLFP Fee payment

Year of fee payment: 7

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9

PLFP Fee payment

Year of fee payment: 10