Unit 설명
복잡한 조건식의 해를 찾는 SMT 솔버의 활용법을 실습과 함께 학습합니다.
학습목표

이런 내용을 배워요

  • SMT 솔버의 개념과 실생활에 사용되는 예시
  • Z3 Theorem Prover를 이용해 문제를 해결하는 방법

이런 분께 추천해요

  • 리버스 엔지니어링 챌린지를 해결하는 데 도움이 되는 도구를 찾고 싶은 분
  • SMT 솔버를 사용한 문제 해결 전략을 알아보고 싶은 분

이런 선수 지식이 필요해요

  • 기초적인 Python 사용법
  • 기초적인 수학 및 논리 연산에 대한 이해

이런 환경을 기준으로 설명해요

  • x86-64 아키텍처 기반 리눅스 환경
구성
SMT Solvers
SMT 솔버의 이해
Z3 Theorem Prover 사용하기
Lab: SMT Solvers
Pro
SMT 솔버의 활용
[함께실습] MineswZ3per
Exercise: MineswZ3per
MineswZ3per
Quiz: SMT Solvers
평점
0.0 (0)
0
Unit의 모든 항목을 완료한 후 평가할 수 있습니다.
SMT Solvers
0.0
(0)
Tier 0 Beginner
Unit 상세
약 3시간
4개의 강의
1개의 Lab
1개의 문제
1개의 퀴즈
0% 진행중 총 0개 항목 완료
강의 0 /4
제외
워게임 0 /1
1
퀴즈 0 /1
1
잠긴 강의는 플랜을 업그레이드하거나 Unit을 별도 구매하여 수강할 수 있어요.
Lab은 실습 개념으로, 전체 진도율에 포함되지 않아요.