OTHER·중요도 5·2026. 07. 10.·InfoQ
Podcast: Formal Methods for Every Engineer in an AI-Powered Future
── KO ──────────────────
AI 시대의 형식적 방법론 접근성을 논의하는 팟캐스트.
이 팟캐스트에서 Shane Hastie가 Gabriela Moreira와 함께 형식적 방법론을 Quint 명세 언어를 통해 어떻게 접근 가능하게 만드는지 논의합니다. AI가 형식적 명세 및 모델 기반 테스트의 진입 장벽을 낮추는 방법에 대해 이야기하며, AI 주도의 세계에서 올바른 시스템 동작 정의가 여전히 인간의 필수 작업이라는 점을 강조합니다.
── EN ──────────────────
Podcast discussing the accessibility of formal methods in an AI-driven world.
In this podcast, Shane Hastie speaks with Gabriela Moreira about making formal methods accessible through the Quint specification language. They discuss how AI is dramatically lowering the barrier to entry for formal specification and model-based testing. Furthermore, they emphasize the importance of defining correct system behavior as essential human work in an AI-powered future.