V. Beaudenon, E. Encrenaz, and J. Desbarbieux, Design validation of zcsp with spin, Proceedings of the Third International Conference on Application of Concurrency to System Design (ACSD'03), p.102, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01534544

R. K. Brayton, G. D. Hachtel, A. Sangiovanni-vincentelli, F. Somenzi, A. Aziz et al., VIS: a system for verification and synthesis, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, vol.1102, pp.428-432, 1996.

R. E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput, vol.35, issue.8, pp.677-691, 1986.

V. Beaudenon and E. Encrenaz, Sami Taktak: Data Decision Diagrams for ProMeLa Systems Analysis 13

R. E. Bryant, Binary decision diagrams and beyond: Enabling technologies for formal verification, IEEE/ACM International Conference on Computer Aided Design, ICCAD, pp.236-243

. Ieee-cs-press, , 1995.

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic Model Checking: 10 20 States and Beyond, Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pp.1-33, 1990.

G. Ciardo and R. Siminiceanu, Using edge-valued decision diagrams for symbolic generation of shortest paths, 2002.

G. Ciardo, G. Luettgen, and R. Siminiceanu, Efficient symbolic state-space construction for asynchronous systems, 1999.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986.

J. Couvreur, E. Encrenaz, E. Paviot-adet, D. Poitrenaud, and P. Wacrenier, Data decision diagrams for petri net analysis, Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets, pp.101-120, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01544997

C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The tool kronos, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control, pp.208-219, 1996.

E. A. De-kock, W. J. Smits, P. Van-der-wolf, J. Brunel, W. M. Kruijtzer et al., Yapi: application modeling for signal processing systems, Proceedings of the 37th conference on Design automation, pp.402-405, 2000.

T. Henzinger, H. Wong-toi, and P. Ho, Hytech: a model-checker for hybrid systems, vol.1, pp.110-122, 1997.

G. J. Holzmann, Design and Validation of Computer Protocols, 1991.

G. J. Holzmann, The Model Checker Spin, Special issue on Formal Methods in Software Practice, vol.23, issue.5, pp.279-295, 1997.

G. J. Holzmann, State Compression in Spin, 1997.

G. J. Holzmann and D. Peled, An improvement in formal verification, Proc. Formal Description Techniques, FORTE94, pp.197-211, 1994.

D. Hommais, F. Pétrot, and I. Augé, A practical tool box for system level communication synthesis, Proceedings of the ninth international symposium on Hardware/software codesign, pp.48-53, 2001.

J. Lind-nielsen and H. R. Andersen, Stepwise CTL model checking of state/event systems, CAV'99: Computer Aided Verification . Lecture Notes in Computer Science, 1999.

K. L. Mcmillan, Symbolic Model Checking, 1993.

A. S. Miner and G. Ciardo, Efficient reachability set generation and storage using decision diagrams, 20th International Conference, ICATPN'99, vol.1630, pp.6-25, 1999.

D. Peled, Combining partial order reductions with onthe-fly model-checking, Proc. Sixth Int Conf. Computer Aided Verification (CAV94), pp.377-390, 1994.

H. Peng, S. Tahar, and F. Khendek, Comparison of SPIN and VIS for protocol verification, ternational Journal on Software Tools for Technology Transfer (STTT), vol.4, pp.234-245, 2003.

A. Pnueli, The Temporal Logic of Programs, 18th IEEE Symp. Foundations of Computer Science, pp.46-57, 1977.

P. Racloz, Symbolic proof of temporal properties for various kinds of Petri nets, 1994.

Y. S. Ramakrishna, O. Sokolsky, X. Du, S. Smolka, and E. Stark, Fighting livelock in the i-protocol: A comparative study of verification tools, Proc. of the 5th international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'99, pp.74-88, 1999.

J. Sifakis, A unified approach for studying the properties of transition systems, Theoretical Computer Science, vol.18, issue.3, pp.227-258, 1982.

Y. Thierry-mieg, Techniques pour le model-checking de spcification de Haut Niveau, vol.6, p.6, 2004.