Data-Structures for Verification of Timed Automata
Résumé
In this paper we suggest numerical decision diagrams, a BDD-based data structure for representing certain subsets of the Euclidean space, namely those encountered in verification of timed automata. Unlike other representation schemes, NDD's are canonical and provide for all necessary operations needed in the verification and synthesis of timed automata. We report some preliminary experimental results.
Domaines
Systèmes embarqués
Origine : Fichiers produits par l'(les) auteur(s)
Loading...