RESY: Requirement Synthesis for Compositional Model Checking.

Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe

Browse the full TACAS paper archive.