Une sémantique à pas de géant pour la catégorisation des contre-exemples

Autor: Benedikt Becker, Cláudio Belo Lourenço, Claude Marché

Publikováno v: [Research Report] RR-9407, Inria. 2021, pp.43
HAL

Deductive Verification aims at verifying that a given program code conforms to a formal specification of its intended behaviour. That approachproceeds by generating mathematical statements whose validity entails the conformance of the program. Such s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5063f7820de24ae11d7498756bbeae08
https://inria.hal.science/hal-03213438/document

Modélisation formelle des systèmes de détection d'intrusions

Autor: Nganyewou Tidjon, Lionel

Publikováno v: Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris; Université de Sherbrooke (Québec, Canada), 2020. English. ⟨NNT : 2020IPPAS021⟩

The cybersecurity ecosystem continuously evolves with the number, the diversity, and the complexity of cyber attacks. Generally, we have three IDS types: anomaly-based detection, signature-based detection, and hybrid detection. Anomaly detection is b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::4ed1e08341a5eea0d1021ba3200df34e
https://tel.archives-ouvertes.fr/tel-03137661

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Autor: Gurvan Le Guernic, José Angel Galindo Duarte, Benoit Combemale

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 38-52 (2017)
F-IDE@FM
Electronic Proceedings in Theoretical Computer Science (EPTCS)
3rd Workshop on Formal Integrated Development Environment
3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus
idUS. Depósito de Investigación de la Universidad de Sevilla
instname

Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6613e1f3f247e04e73c4215f9e58d4ad
https://doaj.org/article/dfde17c83fce46048bda81e105dd2fc8

Automated Verification of Floating-Point Computations in Ada Programs

Autor: Fumex, Clément, Marché, Claude, Moy, Yannick

Publikováno v: [Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53

In critical software systems like the ones related to transport and defense, it is common toperform numerical computations implemented using floating-point arithmetic. Safety conditions for suchsystems typically require strong guarantees on the funct

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::cb3d9f20da1817cf061cf34581b306ea
https://hal.inria.fr/hal-01511183

Vérification formelle du respect de valeurs morales dans les SMA

Autor: Bonnet, Grégory, Mermet, Bruno, Simon, Gaële

Publikováno v: Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle
Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31 (4), pp.449-470. ⟨10.3166/ria.31.449-470⟩

International audience; The increasing use of autonomous artificial agents in hospitals or in transport control systems leads to consider whether moral rules shared by many of us are followed by these agents. This a particularly hard problem because

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