Real-Time system verification techniques based on abstraction/deduction and model checking

Eunyoung Kang 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Our research focuses on verification techniques for real-time systems based on predicate abstractions. These techniques aim to combine abstract interpretation, model checking, and theorem proving in order to obtain a powerful and highly automatic verification environment for real-time systems. One drawback of current real-time model checking approaches is the limited size of the systems that can be analyzed. For the computation of finite abstractions in the way of infinite-state systems analysis, we propose an Iterative-Abstract-Refinement algorithm. Using our algorithm, we can reduce the aforementioned drawbacks associated with the application of real-time model checking such as the limited applicability due to state space explosion characteristics
Type de document :
Communication dans un congrès
Judi Romijn. Doctoral Symposium of the Fifth International Conference on Integrated Formal Methods - IFM'2005, Nov 2005, Eindhoven/The Netherlands, 2005, Technical Report of MCS, TU-Eindhoven
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00000641
Contributeur : Eunyoung Kang <>
Soumis le : jeudi 10 novembre 2005 - 14:37:34
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : vendredi 2 avril 2010 - 17:45:20

Fichier

Identifiants

  • HAL Id : inria-00000641, version 1

Collections

Citation

Eunyoung Kang. Real-Time system verification techniques based on abstraction/deduction and model checking. Judi Romijn. Doctoral Symposium of the Fifth International Conference on Integrated Formal Methods - IFM'2005, Nov 2005, Eindhoven/The Netherlands, 2005, Technical Report of MCS, TU-Eindhoven. 〈inria-00000641〉

Partager

Métriques

Consultations de la notice

208

Téléchargements de fichiers

185