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⟩