Improved Invariant Generation for Industrial Software Model Checking of Time Properties

Vassil Todorov 1, 2, 3 Safouan Taha 1, 4, 3 Frédéric Boulanger 1, 4, 3 Armando Hernandez 2
1 LRI - Laboratoire de Recherche en Informatique
2 PSA - PSA Peugeot Citroën
3 Université Paris-Saclay
4 CentraleSupélec
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, December 11, 2019 - 1:24:47 AM

Identifiers

Collections

CENTRALESUPELEC | CNRS | UMR8623 | UNIV-PARIS-SACLAY | LRI-MODHEL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

27

Contact

Informations

CCSD