Soonho Kong

Available identifiers

zbMath Open kong.soonhoMaRDI QIDQ2926662

List of research outcomes

Publication	Date of Publication	Type
Numerically-robust inductive proof rules for continuous dynamical systems	2024-02-16	Paper
Solving string constraints using SAT	2024-01-12	Paper
Delta-decision procedures for exists-forall problems over the reals	2023-05-05	Paper
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems	2017-05-19	Paper
Automatically inferring loop invariants via algorithmic learning	2016-07-27	Paper
The Lean Theorem Prover (System Description)	2015-12-02	Paper
Compositional Sequentialization of Periodic Programs	2014-11-03	Paper
dReal: An SMT Solver for Nonlinear Theories over the Reals	2013-06-14	Paper
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction	2010-01-14	Paper

Research outcomes over time

This page was built for person: Soonho Kong