Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Jung, Yungbum"'
Publikováno v:
Logical Methods in Computer Science, Volume 8, Issue 3 (September 29, 2012) lmcs:1035
We address the predicate generation problem in the context of loop invariant inference. Motivated by the interpolation-based abstraction refinement technique, we apply the interpolation theorem to synthesize predicates implicitly implied by program t
Externí odkaz:
http://arxiv.org/abs/1207.7167
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ICSE: International Conference on Software Engineering; May2011, p301-310, 10p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642198342); 2011, p205-219, 15p
Publikováno v:
Verification, Model Checking & Abstract Interpretation (9783642113185); 2010, p180-196, 17p
Publikováno v:
Programming Languages & Systems (9783642171635); 2010, p328-343, 16p
Publikováno v:
Proceeding of the ACM First International Workshop: Data-intensive Software Management & Mining; 11/ 6/2009, p13-18, 6p
Autor:
Jung, Yungbum, Yi, Kwangkeun
Publikováno v:
Proceedings of the 7th International Symposium: Memory Management; 6/ 7/2008, p131-140, 10p
Publikováno v:
Static Analysis (9783540285847); 2005, p203-217, 15p