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