Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bibliographie[1] S. B. Akers. Binary Decision Diagrams. IEEE Transactions on Computers, C-27(6), June1978.[2] Rajeev Alur, Radu Grosu, and M. McDougall. Efficient reachability analysis of hierarchicalreactive machines. In Computer Ai<strong>de</strong>d Verification, 2000.[3] Henrik Reif An<strong>de</strong>rsen. An Introduction to Binary Decision Diagrams, October1997. Lecture notes for 49285 Advanced Algorithms E97. Available from :http ://www.it.dtu.dk/∼hra.[4] Charles André. SyncCharts : A visual representation of reactive behaviors. RR 95-52, I3S,Sophia-Antipolis, France, 1996.[5] Charles André, Hedi Boufaïed, and Sylvan Dissoubray. SyncCharts : un modèle graphiquesynchrone pour systèmes réactifs complexes. In Real-Time and Embed<strong>de</strong>d Systems, RTS’98,pages 175–194. Teknea, January 1998.[6] L. Arditi, A. Bouali, H. Boufaied, G. Clavé, M. Hadj-Chaib, and R. <strong>de</strong> Simone. Using<strong>Esterel</strong> and formal methods to increase the confi<strong>de</strong>nce in the functional validation of acommercial dsp, 1999.[7] Adnan Aziz, Serdar Tasiran, and Robert K. Brayton. BDD Variable Or<strong>de</strong>ring for InteractingFinite State Machines. In Proceedings of the 31st Design Automation Conference,DAC’94, pages 283–288. ACM Press, June 1994.[8] T. Ball and S. Rajamani. Checking temporal properties of software with boolean programs.In Proceedings of the Workshop on Advances in Verification, July 2000.[9] Thomas Ball and Sriram K. Rajamani. Bebop : A symbolic mo<strong>de</strong>l checker for booleanprograms. In SPIN, pages 113–130, 2000.[10] G. Berry. Programming a digital watch in <strong>Esterel</strong> v3. Technical Report RR-1032, Inria,Institut National <strong>de</strong> Recherche en Informatique et en Automatique, May 1989.[11] Gérard Berry. The constructive semantics of pure <strong>Esterel</strong>. Draft book available athttp ://www-sop.inria.fr/esterel.org/, July 1999.[12] Gérard Berry. The <strong>Esterel</strong> v5 Language Primer. CMA, Ecole <strong><strong>de</strong>s</strong> Mines and INRIA and<strong>Esterel</strong> Technologies, July 2000. Available at http ://www-sop.inria.fr/esterel.org/.[13] Ro<strong>de</strong>rick Bloem, Kavita Ravi, and Fabio Somenzi. Symbolic gui<strong>de</strong>d search for CTL mo<strong>de</strong>lchecking. In Design Automation Conference, pages 29–34, 2000.[14] A. Bouali. Xeve, an <strong>Esterel</strong> verification environment. In Proc. 10th International ComputerAi<strong>de</strong>d Verification Conference, LNCS, pages 500–504, UBC, Vancouver, Canada, June 1998.[15] F. Boussinot and R. <strong>de</strong> Simone. The <strong>Esterel</strong> language. Another Look at Real Time Programming,Proceedings of the IEEE, 79 :1293–1304, 1991.93