بحث صور خرائط YouTube الأخبار Gmail Drive تقويم المزيد »
تسجيل الدخول
الكتب الكتب 1 - 10 من 15 فيO. Coudert, C. Berthet, and JC Madre. Verification of synchronous sequential machines....
" O. Coudert, C. Berthet, and JC Madre. Verification of synchronous sequential machines based on symbolic execution. "
Model Checking - الصفحة 300
بواسطة E. M. Clarke, Orna Grumberg, Doron Peled - 1999 - عدد الصفحات: 314
معاينة محدودة - حول هذا الكتاب

Synchronous Programming of Reactive Systems

Nicolas Halbwachs - 1992 - عدد الصفحات: 174
...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....
معاينة محدودة - حول هذا الكتاب

Static Analysis: Third International Workshop, WSA '93, Padova, Italy ...

Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy - 1993 - عدد الصفحات: 283
...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...
معاينة محدودة - حول هذا الكتاب

Computer Aided Verification: Fourth International Workshop, CAV '92 ...

Gregor von Bochmann, David K. Probst - 1993 - عدد الصفحات: 422
...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,...
معاينة محدودة - حول هذا الكتاب

Computer Aided Verification: 5th International Conference, CAV'93, Elounda ...

Costas Courcoubetis - 1993 - عدد الصفحات: 504
...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...
معاينة محدودة - حول هذا الكتاب

Higher Order Logic Theorem Proving and Its Applications: 6th International ...

Jeffrey J. Joyce, Carl-Johan H. Seger - 1994 - عدد الصفحات: 526
...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...
معاينة محدودة - حول هذا الكتاب

Computer Aided Verification: 7th International Conference, CAV '95, Liege ...

Pierre Wolper - 1995 - عدد الصفحات: 456
...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....
معاينة محدودة - حول هذا الكتاب

Deductive Program Design

Manfred Broy - 1996 - عدد الصفحات: 470
...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...
معاينة محدودة - حول هذا الكتاب

Formal Methods in Computer-Aided Design: First International ..., المجلد 1

Mandayam Srivas, Albert Camilleri, Calif.) Fmcad 9 (1996 Palo Alto - 1996 - عدد الصفحات: 470
...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...
معاينة محدودة - حول هذا الكتاب

Foundations of Software Technology and Theoretical Computer ..., المجلد 17

S. Ramesh - 1997 - عدد الصفحات: 343
...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...
معاينة محدودة - حول هذا الكتاب

Formal Hardware Verification: Methods and Systems in Comparison

Thomas Kropf - 1997 - عدد الصفحات: 376
...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...
معاينة محدودة - حول هذا الكتاب




  1. مكتبتي
  2. مساعدة
  3. بحث متقدم في الكتب