Efficient SMT-Based Analysis of Failure Propagation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly. Efficient SMT-Based Analysis of Failure Propagation. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Volume 12760 of Lecture Notes in Computer Science, pages 209-230, Springer, 2021. [doi]

This author has not been identified. Look up 'Marco Bozzano' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Anthony Fernandes Pires' in GoogleThis author has not been identified. Look up 'Alberto Griggio' in GoogleThis author has not been identified. Look up 'Martin Jonás' in GoogleThis author has not been identified. Look up 'Greg Kimberly' in Google

runs on WebDSL