This paper presents a distributed debugger framework which can be used to verify properties of asynchronous distributed algorithms and programs during their execution. As a feasibility study, a core of a debugger for the CORBA/Java environment was implemented.
This paper presents a distributed debugger framework which can be used to verify properties of asynchronous distributed algorithms and programs during their execution. As a feasibility study, a core of a debugger for the CORBA/Java environment was implemented. (en)