SchedCheck: Schedule-Robustness Analysis for Event-Driven Block Programs

Yuan Si, Jialu Zhang

Block-based languages such as Scratch let beginners assemble interactive programs from sprites and scripts. These programs are concurrent in practice: green-flag scripts, broadcast…