Search dblp for Publications

export results for "toc:db/conf/tpcd/tpcd1992.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tpcd/BainbridgeCF92,
  author       = {Simon Bainbridge and
                  Albert John Camilleri and
                  Roger Fleming},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Theorem Proving as an Industrial Tool for System Level Desgin},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {253--274},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 11:36:44 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/BainbridgeCF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/BickfordS92,
  author       = {Mark Bickford and
                  Mandayam K. Srivas},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Verification of a Fault-Tolerant Property of a Multiprocessor System:
                  {A} Case Study in Theorem Prover-Based Verification},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {225--251},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/BickfordS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/BoultonGGHHT92,
  author       = {Richard J. Boulton and
                  Andrew D. Gordon and
                  Michael J. C. Gordon and
                  John Harrison and
                  John Herbert and
                  John Van Tassel},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Experience with Embedding Hardware Description Languages in {HOL}},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {129--156},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/BoultonGGHHT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/BrockHY92,
  author       = {Bishop Brock and
                  Warren A. Hunt Jr. and
                  William D. Young},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Introduction to a Formally Defined Hardware Description Language},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {3--35},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/BrockHY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/Busch92,
  author       = {Holger Busch},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Transformational Design in a Theorem Prover},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {175--196},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/Busch92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/HannaD92,
  author       = {Keith Hanna and
                  Neil Daeche},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {The Veritas Design Logic: {A} User's View},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {301--310},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/HannaD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/HannaDH92,
  author       = {Keith Hanna and
                  Neil Daeche and
                  Gareth Howells},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Implementation of the Veritas Design Logic},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {77--94},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tpcd/HannaDH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/Herbert92,
  author       = {John Herbert},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Incremental Design and Formal Verification of Microcoded Microporcessors},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {157--174},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/Herbert92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/Jackson92,
  author       = {Paul B. Jackson},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Nuprl and Its Use in Circuit Design},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {311--336},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/Jackson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/KinnimentK92,
  author       = {D. J. Kinniment and
                  Albert Koelmans},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Modelling and Verification of Timing Conditions with the Boyer Moore
                  Prover},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {111--127},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/KinnimentK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/LevyFMM92,
  author       = {Beth Levy and
                  Ivan Filippenko and
                  Leo Marcus and
                  Telis Menas},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Using the State Delta Verification System {(SDVS)} for Hardware Verification},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {337--360},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/LevyFMM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/LovengreenS92,
  author       = {Hans Henrik L{\o}vengreen and
                  J{\o}rgen Staunstrup},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Synchronous Realization of Asynchronous Computations},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {95--110},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/LovengreenS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/Margaria92,
  author       = {Tiziana Margaria},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Hierarchical Mixed-Mode Verification of Complex FSMs Described at
                  the {RT} Level},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {59--75},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/Margaria92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/StaunstrupGG92,
  author       = {J{\o}rgen Staunstrup and
                  Stephen J. Garland and
                  John V. Guttag},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Mechanized Verification of Circuit Descriptions Using the Larch Prover},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {277--299},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/StaunstrupGG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/StavridouGSEAH92,
  author       = {Victoria Stavridou and
                  Joseph A. Goguen and
                  Andrew Stevens and
                  Steven M. Eker and
                  Serge N. Aloneftis and
                  Keith Michael Hobley},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {{FUNNEL} and 2OBJ: Towards an Integrated Hardware Design Environment},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {197--223},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Wed, 07 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tpcd/StavridouGSEAH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tpcd/VerkestVCM92,
  author       = {Diederik Verkest and
                  J. Vandenbergh and
                  Luc J. M. Claesen and
                  Hugo De Man},
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {A Description Methodology for Parameterized Modules in the Boyer-Moore
                  Logic},
  booktitle    = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  pages        = {37--57},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/VerkestVCM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tpcd/1992,
  editor       = {Victoria Stavridou and
                  Thomas F. Melham and
                  Raymond T. Boute},
  title        = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
                  10.2 International Conference on Theorem Provers in Circuit Design:
                  Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
                  June 1992, Proceedings},
  series       = {{IFIP} Transactions},
  volume       = {{A-10}},
  publisher    = {North-Holland},
  year         = {1992},
  isbn         = {0-444-89686-4},
  timestamp    = {Mon, 25 Feb 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tpcd/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.