Efficient SMT-Based Analysis of Failure Propagation.

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly

Browse the full CAV paper archive.