mongodb replication system에 TLA+로 formal method 적용한 사례에서 실제 버그 찾은 케이스가 있다더라
[%] formal method 실제 사례 의외로 많은게 신기했음
대덕SW마이스..(202110phy)
2024-07-04 20:11
추천 1
다른 게시글
-
이정도면 정신병 아닌가 [4][%] 익명(152.70) | 24.07.04추천 2
-
사례금있음) 메타데이터 메모리덤핑 가능한 사람 있어? [6][%] 익명(211.178) | 24.07.04추천 0
-
외래키 안 넣는 게 국룰이야??? [7][질문] 익명(211.36) | 24.07.04추천 0
-
챗지피티조차 해결 못하는 프로그래밍 역사상 최악의난제 [2][%] 익명(211.234) | 24.07.04추천 0
-
흑흑 학교 다닐때는 aria 암호화 무시했는데[%] 익명(118.235) | 24.07.04추천 1
-
하향식 네트워킹 책 샀다[%] 익명(121.140) | 24.07.04추천 0
-
spring 서버를 만들었는데 배포는 보통 어떻게 하는게 편하나요 [4][%] dd(118.33) | 24.07.04추천 0
-
구글 다중계정 전화번호 인증 뚫는법 있어? [6][%] 익명(61.83) | 24.07.04추천 0
-
알고리즘 자료구조 너무 약해서 공부하려는데 이거 괜찮나?[질문] 익명(frost3114) | 24.07.04추천 0
-
ㄹㅇ 코드 복붙만 해서는 실력이 안느는듯 [1][%] 익명(211.219) | 24.07.04추천 0
댓글 0