1주 전 · software TLA+ 모델링 팁 모델을 최소화하십시오. 작은 핵심에서 시작하고 확장할 때마다 항상 작동하는 모델을 유지하십시오. 기본값은 생략이어야 합니다. 구성 요소는 필요할 때만 추가하십시오. Add a component only when you ca...