Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 20 of 21 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 - 517 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 ..., Volume 7

Pierre Wolper - Computers - 1995 - 450 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 - 467 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 - 367 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

Compositionality: The Significant Difference: International Symposium ...

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli - Computers - 1998 - 646 pages
...Symposium on Logic iii Computer Science, pages 353—362. IEEE Computer Society Press, June 1989. 14. 0. Coudert, C. Berthet, and JC Madre. Verification of...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

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

Computational Discrete Mathematics: Advanced Lectures

Helmut Alt - Computers - 2001 - 171 pages
...manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992. 7. O. Coudert, C. Berthet, and JC Madre. Verification of synchronous sequential machines using symbolic execution. In Proc. Workshop on Automatic Verification Methods for Finite State Machines,...
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
This volume contains the proceedings of the conferenceonComputer Aided V- i?cation (CAV 2003) held in Boulder, Colorado, on July 8–12, 2003. CAV 2003 was the 15th in a series ...
Limited preview - About this book

Validation of Stochastic Systems: A Guide to Current Research

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Computers - 2004 - 465 pages
...1997. 29. L. Cloth. Specification and verification of Markov reward models. This proceedings, 2003. 30. O. Coudert, C. Berthet, and JC Madre. Verification...sequential machines based on symbolic execution. In J. Sifakis, editor, Proc. International Workshop on Automatic Verification Methods for Finite State...
Limited preview - About this book

Theorem Proving in Higher Order Logics: 18th International Conference ...

Joe Hurd, Tom Melham - Computers - 2005 - 408 pages
...for VHDL Register Transfer Level (RTL) Synthesis, New York; March 2000. 7. O. Coudert, C. Berthet, JC Madre: "Verification of synchronous sequential machines based on symbolic execution", in Automatic Verification Methods for Finite State Systems, LNCS No407, Springer, pp.365-373. 8. RE Bryant,...
Limited preview - About this book

Proof Technology and Computation

Helmut Schwichtenberg, Katharina Spies - Computers - 2006 - 445 pages
...floating-point square root, divide and remainder algorithms. Intel Technology Journal, 1998-Q2:!-! 1, 1998. [32] O. Coudert, C. Berthet, and J.-C. Madre. Verification...sequential machines based on symbolic execution. In J. Sifakis, editor. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture...
Limited preview - About this book




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