Improved Invariant Generation for Industrial Software Model Checking of Time Properties

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

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⟩

Share

Metrics

Record views

27