2020
Book sections
- auteur
- Vassil Todorov, Safouan Taha, Frédéric Boulanger
- titre
- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
- article
- NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp.187-203, 2020, ⟨10.1007/978-3-030-55754-6_11⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- auteur
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
- titre
- Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root
- article
- Modeling and Analysis of Information Systems, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
- Accès au texte intégral et bibtex
-
- auteur
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
- titre
- PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
- article
- System Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez
- titre
- Improved Invariant Generation for Industrial Software Model Checking of Time Properties
- article
- 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩
- Accès au texte intégral et bibtex
-
2018
Conference papers
- auteur
- Vassil Todorov, Frédéric Boulanger, Safouan Taha
- titre
- Formal verification of automotive embedded software
- article
- FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
- Accès au texte intégral et bibtex
-