Repair and Generation of Formal Models Using Synthesis.

Joshua Schmidt, Sebastian Krings, Michael Leuschel

Browse the full IFM paper archive.