Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 15 of 15 on 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 - Page 300
by E. M. Clarke, Orna Grumberg, Doron Peled - 1999 - 314 pages
Limited preview - About this book

Synchronous Programming of Reactive Systems

Nicolas Halbwachs - Computers - 1992 - 174 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....
Limited preview - About this book

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

Patrick Cousot - Computers - 1993 - 283 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...
Limited preview - About this book

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

Gregor von Bochmann, David K. Probst - Computers - 1993 - 422 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,...
Limited preview - About this book

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

Jeffrey J. Joyce, Carl-Johan H. Seger - Computers - 1994 - 526 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...
Limited preview - About this book

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

Pierre Wolper - Computers - 1995 - 456 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....
Limited preview - About this book

Deductive Program Design

Manfred Broy - Computers - 1996 - 470 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...
Limited preview - About this book

Formal Methods in Computer-Aided Design: First International ..., Volume 1

Mandayam Srivas, Albert Camilleri - Computers - 1996 - 470 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...
Limited preview - About this book

Foundations of Software Technology and Theoretical Computer ..., Volume 17

S. Ramesh, G. Sivakumar - Computers - 1997 - 343 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...
Limited preview - About this book

Formal Hardware Verification: Methods and Systems in Comparison

Thomas Kropf - Computers - 1997 - 376 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...
Limited preview - About this book

Encyclopedia of Computer Science and Technology: Volume 36 - Supplement 21 ...

Allen Kent, James G. Williams - Computers - 1997 - 400 pages
...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...
Limited preview - About this book

Computer Aided Verification: 10th International Conference, CAV ..., Volume 10

Alan J. Hu, Moshe Y. Vardi - Computers - 1998 - 552 pages
...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...
Limited preview - About this book

Tools and Algorithms for the Construction and Analysis of Systems ..., Volume 4

Bernhard Steffen - Computers - 1998 - 455 pages
...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...
Limited preview - About this book

Architecture Design and Validation Methods

Egon Börger - Computers - 2000 - 357 pages
...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,...
Limited preview - About this book

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Andreas Kuehlmann - Computers - 2003 - 714 pages
...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...
Limited preview - About this book

Computer Aided Verification: 15th International Conference, CAV ..., Volume 15

Warren A. Hunt, Fabio Somenzi - Computers - 2003 - 462 pages
...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...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search