해당 서비스는 JSON 파일 로드를 통해 상태 전이(State Transitions) 데이터를 시각화하고 분석할 수 있도록 설계되었습니다.
주요 기능으로는 **상태(States)**와 전이(Transitions) 통계 제공, 그리고 ITF 및 Raw AST 형식의 데이터 지원이 포함되어 있습니다.
개발자와 연구자가 상태 전이 모델을 쉽게 이해하고 활용할 수 있도록 직관적인 인터페이스를 제공합니다.