Fighting the Clocks Explosion

Abstract : In this talk I will survey several heroic as well as pathetic attempts to fight the clock explosion problem, that is, to find ways to scale-up the automated analysis of timed automata beyond toy problems. The survey will be biased toward efforts I was involved in and will include directions such as BDDs and canonical representations, discretization, search-based techniques, SAT and bounded model-checking, abstraction and partial-order methods. I will also explain why I think this battle is important.
Type de document :
Communication dans un congrès
Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.4, 2006, Automatic Verification of Critical Systems (AVoCS 2006)
Liste complète des métadonnées

https://hal.inria.fr/inria-00091658
Contributeur : Stephan Merz <>
Soumis le : mercredi 6 septembre 2006 - 18:57:44
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33
Document(s) archivé(s) le : jeudi 20 septembre 2012 - 10:20:51

Fichier

Identifiants

  • HAL Id : inria-00091658, version 1

Collections

Citation

Oded Maler. Fighting the Clocks Explosion. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.4, 2006, Automatic Verification of Critical Systems (AVoCS 2006). 〈inria-00091658〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

52