Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Yungbum Jung Wonchan Lee Bow-Yaw Wang 1 Kwangkeun Yi
1 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
Type de document :
Communication dans un congrès
TACAS 2011 - Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 2011, Saarbruecken, Germany. Springer, 6605, pp.205-219, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-19835-9〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00648946
Contributeur : Bow-Yaw Wang <>
Soumis le : mardi 6 décembre 2011 - 16:11:40
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Identifiants

Collections

Citation

Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi. Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS 2011 - Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 2011, Saarbruecken, Germany. Springer, 6605, pp.205-219, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-19835-9〉. 〈hal-00648946〉

Partager

Métriques

Consultations de la notice

662