Heuristic-Guided Abstraction Refinement

Fei He 1, 2 Xiaoyu Song Ming Gu 1, 3 Jia-Guang Sun 3
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 :
Article dans une revue
The Computer Journal, Oxford University Press (UK), 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00547315
Contributeur : Fei He <>
Soumis le : jeudi 16 décembre 2010 - 04:45:44
Dernière modification le : vendredi 25 mai 2018 - 12:02:06

Identifiants

  • HAL Id : inria-00547315, version 1

Collections

Citation

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Heuristic-Guided Abstraction Refinement. The Computer Journal, Oxford University Press (UK), 2009. 〈inria-00547315〉

Partager

Métriques

Consultations de la notice

146