Efficiently Learning Safety Proofs from Appearance as well as Behaviours.

Sumanth Prabhu, Kumar Madhukar, R. Venkatesh

Browse the full SAS paper archive.