Exploiting partial variable assignment in interpolation-based model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina. Exploiting partial variable assignment in interpolation-based model checking. Formal Methods in System Design, 55(1):33-71, 2019. [doi]

This author has not been identified. Look up 'Pavel Jancík' in GoogleThis author has not been identified. Look up 'Jan Kofron' in GoogleThis author has not been identified. Look up 'Leonardo Alt' in GoogleThis author has not been identified. Look up 'Grigory Fedyukovich' in GoogleThis author has not been identified. Look up 'Antti E. J. Hyvärinen' in GoogleThis author has not been identified. Look up 'Natasha Sharygina' in Google

runs on WebDSL