After three years of PhD thesis and two years on the DEMA project, the work on model-centric debugging and mcGDB is over! There is currently no plan of continuation, so the project will stay in its current state.

These presentations summarize the five years of work:

And these documents describe it with more details: