Test basé sur la sémantique pour Circus

Autor: Feliachi, Abderrahmane

Le travail présenté dans cette thèse est une contribution aux méthodes formelles de spécification et de vérification. Les spécifications formelles sont utilisées pour décrire un logiciel, ou plus généralement un système, d'une manière ma

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00821836
http://tel.archives-ouvertes.fr/docs/00/82/18/36/PDF/VA2_FELIACHI_ABDERRAHMANE_12122012.pdf
http://tel.archives-ouvertes.fr/docs/00/82/18/36/ANNEX/VA2_FELIACHI_ABDERRAHMANE_12122012_synthese_annexe.pdf

B-PERFect - Applying the PERF Approach to B Based System Developments

Autor: Halchin, Alexandra, Feliachi, Abderrahmane, Singh, Neeraj Kumar, Aït-Ameur, Yamine, Ordioni, Julien

Publikováno v: RSSRail 2017: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017)
International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), Nov 2017, Pristoia, Italy. pp.160-172

International audience; An independent safety assessment of railway software systems is performed by RATP (Régie Autonome des Transports Parisiens) for all safety-critical systems before their deployment in its network. Whenever possible, this activ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::744f59997e2b89116a024657aaee3439
https://oatao.univ-toulouse.fr/24894/

Test-Generation Methods

Autor: Wolff, Burkhart, Nemouchi, Yakoub, Feliachi, Abderrahmane, Tverdyshev, Sergey, Havle, Oto, Blasum, Holger, Langenstein, Bruno, Stephan, Werner, Proch, Cyril, Verbeek, Freek, Schmaltz, Julien

This document consists of four parts: Part I gives an overview over formal automated test-generation techniques developed in the EURO-MILS project. This contains a chapter on new methodologies as well as a chapter on implemented techniques in HOL-Tes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fcb9aa13f6a27186c9421c71f468769d

The PERF Approach for Formal Verification.

Autor: Benaissa, Nazim, Bonvoisin, David, Feliachi, Abderrahmane, Ordioni, Julien

Publikováno v: Reliability, Safety & Security of Railway Systems. Modelling, Analysis, Verification & Certification; 2016, p203-214, 12p

Test Program Generation for a Microprocessor.

Autor: Brucker, Achim D., Feliachi, Abderrahmane, Nemouchi, Yakoub, Wolff, Burkhart

Publikováno v: Tests & Proofs (9783642389153); 2013, p76-95, 20p