본문으로 건너뛰기
AI Trends
피드
트렌딩
커뮤니티
공지
로그인
피드
트렌딩
커뮤니티
공지
프로그램 로직 (program-logic) 용어 설명 | AI Trends
program-logic
프로그램 로직
고급
컴퓨터 프로그램의 동작이 논리적으로 올바른지 수학적으로 증명하기 위한 체계이다. 컴파일러가 잡아내지 못하는 복잡한 안전성 및 보안 결함을 검증하는 데 사용된다.
비슷한 개념
automated-reasoning
formal-reasoning
formal-semantics
mathematical-verification
theorem-proving
symbolic-execution
formal-verification
formal-methods
← 용어 사전 전체 보기