Improved Invariant Generation for Industrial Software Model Checking of Time Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. Improved Invariant Generation for Industrial Software Model Checking of Time Properties. In 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019. pages 334-341, IEEE, 2019. [doi]

This author has not been identified. Look up 'Vassil Todorov' in GoogleThis author has not been identified. Look up 'Safouan Taha' in GoogleThis author has not been identified. Look up 'Frédéric Boulanger' in GoogleThis author has not been identified. Look up 'Armando Hernandez' in Google

runs on WebDSL