2024-12-29https://hdl.handle.net/20.500.14288/25293DesCloud: A Desktop Simulator for the Runtime Verification of Clud ProgramsDesCloud: A Desktop Simulator