quint-co의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
TLA(Temporal Logic of Actions) 기반의 편리한 도구를 갖춘 실행 가능한 명세 언어
