Model checking self modifying code

Autor: Ye, Xin

Publikováno v: Logic in Computer Science [cs.LO]. Université de Paris; East China normal university (Shanghai), 2019. English. ⟨NNT : 2019UNIP7010⟩

A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to detect by anti-viruses. Thus, the analysis of such self modifying progra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ffdb827966f47842c9f5fcf682bca5c2
https://tel.archives-ouvertes.fr/tel-02972592/document

Event extension of a lightweight formal method and application to analyzing Chord distributed protocol

Autor: Matiedje Tawa, Jeanne Odette Hortense

Publikováno v: Réseaux et télécommunications [cs.NI]. Institut Supérieur de l’Aéronautique et de l’Espace (ISAE), 2019. Français

This study deals with the use of first-order logic and linear temporal logic for specification and verification of dynamics system with rich structural properties. It also concerns the study of the operating safety of the distributed lookup protocol

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::414d29d2ae97b5c9846dc55b20e08d72
https://hal.archives-ouvertes.fr/tel-02427484

Analyse de code via une extension temporelle de la logique du premier-ordre

Autor: David Come, Julien Brunel, David Doose

Publikováno v: 21st Brazilian Symposium on Formal Methods
21st Brazilian Symposium on Formal Methods, Nov 2018, SALVADOR, Brazil
Lecture Notes in Computer Science ISBN: 9783030030438
SBMF

International audience; Formal methods and static analysis are widely used in software development, in particular in the context of safety-critical systems. They can be used to prove that the software behaviour complies to its specification: the soft

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afadd2a52cc21199e645389e4de9a822
https://hal.archives-ouvertes.fr/hal-01977847/document

Amélioration de la qualité du code des paquets ROS à l'aide d'une extension temporelle de la logique du premier ordre

Autor: Come, David, Brunel, Julien, Doose, David

Publikováno v: 2018 Second IEEE International Conference on Robotic Computing (IRC)
2018 Second IEEE International Conference on Robotic Computing (IRC), Jan 2018, Laguna Hills, France. pp.1-8, ⟨10.1109/IRC.2018.00010⟩

International audience; Robots are given more and more challenging tasks in domains such as transport and delivery, farming or health. Software is key components for robots, and ROS is a popular open-source middleware for writing robotics application

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::835ff6e09b797c528572da614b3df577
https://hal.archives-ouvertes.fr/hal-02489018/file/DTIS18045.1581956614_preprint.pdf

Source Code Analysis with a Temporal Extension of First-Order Logic

Autor: Come, David, Brunel, Julien, Doose, David

Publikováno v: 21st Brazilian Symposium on Formal Methods
21st Brazilian Symposium on Formal Methods, Nov 2018, SALVADOR, Brazil

International audience; Formal methods and static analysis are widely used in software development, in particular in the context of safety-critical systems. They can be used to prove that the software behaviour complies to its specification: the soft

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5f500923c85085f7e387f1b1460db721
https://hal.archives-ouvertes.fr/hal-01977847