1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generat…