Compositional Safety Refutation Techniques.

Kumar Madhukar, Peter Schrammel, Mandayam K. Srivas

Browse the full ATVA paper archive.