형식적인 수법을 배웠다

조금 일찍?(2021/03 정도) 형식수법 이라 라 뜨거워서 공부를 해봤어요(1개월 정도 걸렸어요). DeNA도 라고 쓴 것 같은데. 워낙 형식적인 수법이 뭔지 몰라서 알기 쉬운 기사는 없을 것 같다." 은~"이라는 말이 자주 나오기 때문에 읽어야 한다. 거의 모든 엔지니어가 2주 정도 따라잡았어요 형식과 기법의 언어는 여러 가지가 있지만 위에서 언급한 tla+는 쉽게 손에 넣을 수 있을 것...

형식수법tlaidea