Dynamic Component Substitutability Analysis.

Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha

Browse the full FM paper archive.