O. Coudert, C. Berthet, and JC Madre. Verification of synchronous sequential machines based on symbolic execution. Model Checking - الصفحة 300بواسطة Edmund M. Clarke, Orna Grumberg, Doron Peled, Doron A. Peled - 1999 - عدد الصفحات: 314معاينة محدودة - لمحة عن هذا الكتاب
| Nicolas Halbwachs - 1992 - عدد الصفحات: 198
...de Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293-1304, September 1991. [CBM89] O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, LNCS 407.... | |
| Patrick Cousot - 1993 - عدد الصفحات: 300
...boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986. [CBM89] O. Courier!, C. Berthet, and JC Madre. Verification of synchronous...sequential machines based on symbolic execution. In International Workshop on Automatic Verification Methods for Finite State Systems, LNCS 401, Springer... | |
| Gregor von Bochmann, David K. Probst - 1993 - عدد الصفحات: 440
...Abstraction," in Proc. of Principles of Programming Languages, Jan. 1992. 8. O. Coudcrt, C. Berlin t, and JC Madre, "Verification of Synchronous Sequential Machines Based on Symbolic Execution," in Lecture Notes in Computer Science: Automatic Verification Methods for Finite State Systems, vol. 407,... | |
| Costas Courcoubetis - 1993 - عدد الصفحات: 520
...ACM Symposium on Principles of Distributed Computing, pages 294-303. ACM, New York, August 1987. 10. 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... | |
| Jeffrey J. Joyce, Carl-Johan H. Seger - 1994 - عدد الصفحات: 538
...checking. In 28th Deiign Automation Conference, pages 403407, 1991. [CoBM89] O. Coudert, C. Berth* t, and JC Madre. Verification of synchronous sequential machines based on symbolic execution. In Workshop on Automatic Verification Methods for Finite State Systems, pages 365-373, Grenoble, June... | |
| Pierre Wolper - 1995 - عدد الصفحات: 468
...Sannella, editor, Proceedings of the European Symposium on Programming ESOP'94, volume 788. LNCS, 1994. 10. 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, volume 407. LNCS, 1989.... | |
| Manfred Broy - 1996 - عدد الصفحات: 490
...Symposium on Computer Hardware Description Languages and their Applications. North-Holland, June 1989. 22. O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In J. Sifakis, editor, Proceedings of the 1989 International Workshop on Automatic Verification Methods... | |
| Mandayam Srivas, Albert Camilleri - 1996 - عدد الصفحات: 490
...symbolic model checking. In Proceedings, 27 th Design Automation Conference. ACM/IEEE, June 1990. 11. 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... | |
| S. Ramesh - 1997 - عدد الصفحات: 364
...logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986. 12. O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In J. Sifakis, editor, Proceedings of the 1989 International Workshop on Automatic Verification Methods... | |
| Thomas Kropf - 1997 - عدد الصفحات: 388
...Computer Science, pages 419-422, New Brunswick, NJ, USA, July/August 1996. Springer Verlag. [CoBM89a] 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... | |
| |