Yungbum Jung

Available identifiers

zbMath Open jung.yungbumWikidataQ102350935 ScholiaQ102350935MaRDI QIDQ3000649

List of research outcomes

Publication	Date of Publication	Type
Automatically inferring loop invariants via algorithmic learning	2016-07-27	Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	2012-10-22	Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	2011-05-19	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: Yungbum Jung