Skip to contents

  1. Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

    Model checking

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge, Mass.; London: MIT, c 1999

  2. Bernardo, Marco [Editor]; Cimatti, Alessandro [Other] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 6 2006 Bertinoro

    Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006 ; advanced lectures

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 3965

  4. Barner, Sharon [Editor]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] ; International Haifa Verification Conference 6 2010 Haifa

    Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6504

  6. Borrione, Dominique [Editor] ; International Federation for Information Processing Working Group Very Large Scale Integration, CHARME 13 2005 Saarbrücken

    Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Published in: Lecture notes in computer science ; 3725

  7. Margaria-Steffen, Tiziana [Editor]; Melham, T. F. [Editor] ; International Federation for Information Processing Working Group Very Large Scale Integration, International Federation for Information Processing Working Group Very Large Scale Integration, CHARME 11 2001 Livingston, Scotland, CHARME 11 2001 Livingston, Scotland

    Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York: Springer, [2001]

    Published in: Lecture notes in computer science ; 2144

  19. Namjoshi, Kedar [Author] ; Zeller, Andreas [Editor]; Ziv, Avi [Editor]

    Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6405

  20. Hutchison, David [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Chockler, Hana [Other]; Hu, Alan J. [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]

    Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5394