Smart Play-out of Behavioral Requirements.

David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli

Browse the full FMCAD paper archive.