Seonmo Kim

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 3

Top Topics

Propositional Formulas

Formal Verification

Polynomial Size

Top Venues

Comput. Sci. Eng.

Publications

Seonmo Kim, Stephen McCamant
Structural Bit-vector Model Counting. SMT (2020)
Seonmo Kim, Stephen McCamant
Bit-Vector Model Counting Using Statistical Estimation. TACAS (1) (2018)
Seonmo Kim, Stephen McCamant
Bit-Vector Model Counting using Statistical Estimation. CoRR (2017)
Seonmo Kim, Wonhong Nam, Hyunyoung Kil, Myunghwan Park
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. Comput. Sci. Eng. 16 (5) (2014)