...Abstraction," in Proceedings of the 24th Design Automation Conference (DAC), 1987, pp. 271-276. 28. O. Coudert, C. Berthet, and JC Madre, "Verification of Synchronous Sequential Machines Using Symbolic Execution," in Proceedings of Workshop on Automatic Verification Methods for Correct...

...extended finite state machine model. In Proc. 30th Design Automat. Conf., pages 86-91, June 1993. 10. O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In J. Sifakis, editor. Proceedings of the Workshop on Automatic Verification Methods for Finite State...

...Asilomar Conference Center, Pacific Grove, California, June 5-8 1989. IEEE Computer Society Press. 12. O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems. Proceedings, volume 407...

...Formal methods: state of the art and future directions. ACM Computing Surveys, 28(4):626-643, 1996. 31. O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In Proc. Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, pages 365-373,...

...IFIP mt. Workshop on Applied Formal Methods for Correct VLSI Design, pages 111—128, 1989. [26] 0. Coudert, C. Berthet, and JC Madre. Verification of...sequential machines based on symbolic execution. In Automatic Verification Methods for Finite State Systems: International Workshop Proceedings, in Lecture...

...checking. In Computer-Aided Verification, CAV 2002, volume 2404 of LNCS. Springer-Verlag, 2002. 15. O. Coudert, C. Berthet, and JC Madre. Verification of synchronous sequential machines using symbolic execution. In Proceedings of the International Workshop on Automatic Verification Methods...