Conference Proceeding Talk: Repair and Generation of Formal Models Using Synthesis
Date:
I presented our original work of the interactive repair and generation of formal models using program synthesis at the 14th International Conference on integrated Formal Methods (iFM) in 2018.