Scratch와 같은 블록 기반 언어는 초보자들이 스프라이트 (sprites)와 스크립트 (scripts)를 사용하여 상호작용하는 프로그램을 조립할 수 있게 해줍니다. 이러한 프로그램들은 실제로는 병행적 (concurrent)입니다. 즉, 초록색 깃발 스크립트, 방송 (broadcasts), 클론 (clones)은 공유된 스프라이트 및 스테이지 상태 위에서 협력적으로 스케줄링되는 스레드 (threads)로서 실행되며, 작성자들은 스레드를 직접 작성하지 않습니다. 우리는 이러한 프로그램들이 언어가 열어둔 실행 순서에 따라 관찰 가능한 결과가 달라지는 스케줄 민감적 (schedule-sensitive) 동작을 포함하고 있음을 보여줍니다. 프로젝트를 편집, 저장 또는 리믹스 (remixing)하면 동일한 블록을 가지지만 레이어 순서가 다른 복사본이 생성될 수 있으며, 이는 가상 머신 (virtual machine)이 스크립트를 시작하는 순서를 변경합니다. 우리는 Scratch 가상 머신이 실현할 수 있는 스케줄 공간을 초기 실행 대상 순서의 순열 (permutations)로 공식화하고, 고정된 지평 (horizon)에 대한 관찰 렌즈 (observation lenses) 격자에 대한 스케줄 견고성 (schedule-robustness)을 정의합니다. 부분 순서 탐색 (partial-order exploration)은 의존성 동치 클래스 (dependence-equivalence class)당 하나의 스케줄을 실행하며, 열거 가능한 정도로 작은 프로젝트의 경우 독립적인 오라클 (oracle)이 모든 실현 가능한 결과를 복구함을 확인합니다. 더 큰 프로젝트의 경우, 검증된 의존성 모델 하에서 계승된 대표값들이 팩토리얼 (factorial) 규모를 대신합니다. SchedCheck는 이를 실제 운영 중인 Scratch VM에 구현합니다. 224개의 실제 학생 프로젝트를 대상으로 조사한 결과, 병행적 프로젝트 중 최소 21%가 채점 렌즈 (grading lens) 기준에서 스케줄 민감적이었으며, 공개 프로젝트의 균등 무작위 샘플에서도 17.6%의 비율로 동일한 현상이 재현되었습니다. 여기에는 배포된 애니메이션의 글자 배치를 다르게 구성한 두 개의 실제 리믹스 사례가 포함되었습니다. 수동으로 제작된 결함 쌍 (fault pairs)과 4개 클래스에 걸쳐 32개의 사양 정의 결함 (spec-defined faults)으로 구성된 생성된 벤치마크에서, 이 도구는 모든 스케줄 결함을 탐지하고 위치를 찾아냈으며, 로직 결함 제어 (logic-fault control)는 깨끗하게 보고되었습니다. 오라클은 의존성 모델에서 네 가지의 부정확성 간극 (unsoundness gaps)을 노출하였고, 모두 수정되었습니다. 이 방법은 실행 모델에 대해 매개변수적 (parametric)이며, 두 번째 협력적 이벤트 루프 (cooperative event loop)에서도 변경 없이 인스턴스화됩니다.