자기 진화형 네트워크 검증기: 라우터 소프트웨어 기반 기호학적 모델 자동 확장 메커니즘
📌 핵심 요약 (Key Takeaways) 핵심 성과 1: 3,000라인의 SMT 기반 검증기에 OSPF 영역, BGP Route Reflection, L3VPN over EVPN 기능을 자율적으로 학습 및 통합 성공. 독창적 차별점 2: 사람이 직접 수동으로 제어 평면 모델을 작성하는 기존 방식에서 벗어나, 에뮬레이티드 라우터(Oracle)와 반례 유도 루프(Counterexample-guided loop)를 통해 모델을 자동 진화시킴. 실무 파급력 3: 벤더별 구현 편차와 … 더 읽기