Automatic Synthesis of Assumptions for Compositional Model Checking.

Bernd Finkbeiner, Sven Schewe, Matthias Brill

Browse the full FORTE paper archive.