 |
Conference papers
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Vassil Todorov 1, 2, 3
Mail :
Author Employer institution : PSA Peugeot Citroën IdHAL : vassil-todorov ORCID : https://orcid.org/0000-0002-2739-499X
Safouan Taha 1, 4, 3
Mail :
Author IdHAL : safouan-taha
Frédéric Boulanger 1, 4, 3
Mail :
Author IdHAL : frederic-boulanger ORCID : https://orcid.org/0000-0003-3185-2807
Armando Hernandez 2
Author
1
LRI - Laboratoire de Recherche en Informatique (LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex - France)
- UP11 - Université Paris-Sud - Paris 11 (Bâtiment 300 - 91405 Orsay cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8623 (France)
2
PSA - PSA Peugeot Citroën (France)
3
Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
4
CentraleSupélec (3, rue Joliot Curie,
Plateau de Moulon,
91192 GIF-SUR-YVETTE Cedex - France)
Document type :
Conference papers
Complete list of metadatas
https://hal-centralesupelec.archives-ouvertes.fr/hal-02322576
Contributor : Frédéric Boulanger <>
Submitted on : Monday, October 21, 2019 - 4:04:28 PM
Last modification on : Wednesday, April 8, 2020 - 3:48:15 PM
Contributor : Frédéric Boulanger <>
Submitted on : Monday, October 21, 2019 - 4:04:28 PM
Last modification on : Wednesday, April 8, 2020 - 3:48:15 PM
Identifiers
- HAL Id : hal-02322576, version 1
- DOI : 10.1109/QRS.2019.00050
Collections
Citation
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Improved Invariant Generation for Industrial Software Model Checking of Time Properties. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩. ⟨hal-02322576⟩
Metrics
Record views
