Yungbum Jung
From MaRDI portal
Person:3000649
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Automatically inferring loop invariants via algorithmic learning Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| Predicate generation for learning-based quantifier-free loop invariant inference Logical Methods in Computer Science | 2012-10-22 | Paper |
| Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
| Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction Lecture Notes in Computer Science | 2010-01-14 | Paper |
Research outcomes over time
This page was built for person: Yungbum Jung
