팔로우
Seonmo Kim
Seonmo Kim
Intel Corporation
cs.umn.edu의 이메일 확인됨
제목
인용
인용
연도
Bit-vector model counting using statistical estimation
S Kim, S McCamant
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
172018
It doesn’t have to be so hard: Efficient symbolic reasoning for CRCs
V Sharma, N Emamdoost, S Kim, S McCamant
2020 Workshop on binary analysis research. NDSS BAR 2020, 2020
32020
Structural Bit-vector Model Counting.
S Kim, S McCamant
SMT, 26-36, 2020
22020
Formal Verification of a gravity-induced loss-of-Consciousness Monitoring System for Aircraft
S Kim, W Nam, H Kil, M Park
Computing in Science & Engineering 16 (5), 96-103, 2014
22014
Scalable Model Counting for Program Analysis
S Kim
University of Minnesota, 2022
2022
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5