O. Coudert, C. Berthet, and JC Madre. Verification of synchronous sequential machines based on symbolic execution. Model Checking - Page 300by Edmund M. Clarke, Orna Grumberg, Doron Peled, Doron A. Peled - 1999 - 314 pagesLimited preview - About this book
| Nicolas Halbwachs - Computers - 1992 - 198 pages
...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 - Computers - 1993 - 300 pages
...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 - Computers - 1993 - 440 pages
...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 - Computers - 1993 - 520 pages
...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 - Computers - 1994 - 538 pages
...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 - Computers - 1995 - 468 pages
...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 - Computers - 1996 - 490 pages
...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 - Computers - 1996 - 490 pages
...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 - Computers - 1997 - 364 pages
...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 - Computers - 1997 - 388 pages
...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... | |
| |