분산 시스템을 형식적으로 모델링하고 정확성을 체계적으로 검증하기 위한 상태 머신 기반 프로그래밍 언어입니다.
3.7천225C#MIT업데이트 2개월 전
#model-checking
“model-checking” 관련 오픈소스 프로젝트
model-checking 관련 엄선 GitHub 저장소. AI 요약과 주요 지표를 함께 제공합니다.
#model-checking
model-checking 관련 엄선 GitHub 저장소. AI 요약과 주요 지표를 함께 제공합니다.
분산 시스템을 형식적으로 모델링하고 정확성을 체계적으로 검증하기 위한 상태 머신 기반 프로그래밍 언어입니다.