Improved Invariant Generation for Industrial Software Model Checking of Time Properties.

Vassil Todorov, Safouan Taha, Frdric Boulanger, Armando Hernndez

Browse the full QRS paper archive.