skip to content
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992 Preview this item
ClosePreview this item

Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992

Author: V Stavridou; T F Melham; R T Boute
Publisher: Amsterdam ; New York : North-Holland, 1992.
Series: IFIP transactions., A,, Computer science and technology ;, A-10.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience ((1992 : Nijmegen, Netherlands).
Theorem provers in circuit design.
Amsterdam ; New York : North-Holland, 1992
(OCoLC)692245034
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: V Stavridou; T F Melham; R T Boute
ISBN: 0444896864 9780444896865
OCLC Number: 25914525
Description: xi, 360 pages : illustrations ; 23 cm.
Contents: Research Papers. Invited paper: Introduction to a Formally Defined Hardware Description Language (B.C. Brock, W.A. Hunt, Jr. and W.D. Young). A Description Methodology for Parameterized Modules in the Boyer-Moore Logic (D. Verkest et al.) Hierarchical Mixed-mode Verification of Complex FSMs Described at the RT Level (T. Margaria). Implementation of the Veritas Design Logic (K. Hanna, N. Daeche and G. Howells). Synchronous Realization of Asynchronous Computations (H.H. Lovengreen and J. Staunstrup). Modelling and Verification of Timing Conditions with the Boyer Moore Prover (D.J. Kinniment and A.M. Koelmans). Invited paper: Experience with Embedding Hardware Description Languages in HOL (R. Boulton et al.). Incremental Design and Formal Verification of Microcoded Microprocessors (J.M.J. Herbert). Transformational Design in a Theorem Prover (H. Busch). FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment (V. Stavridou et al.). Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification (M. Bickford and M. Srivas). Theorem Proving as an Industrial Tool for System Level Design (S. Bainbridge, A. Camilleri and R. Fleming). Tutorial Papers. Mechanized Verification of Circuit Descriptions Using the Larch Prover (J. Staunstrup, S.J. Garland and J.V. Guttag). The Veritas Design Logic: A User's View (K. Hanna and N. Daeche). Nuprl and its Use in Circuit Design (P.B. Jackson). Using the State Delta Verification System (SDVS) for Hardware Verification (B. Levy et al.).
Series Title: IFIP transactions., A,, Computer science and technology ;, A-10.
Responsibility: edited by V. Stavridou, T.F. Melham, R.T. Boute.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/25914525> # Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "25914525" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/806800177#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Place/nimwegen_1992> ; # Nimwegen <1992>
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/micro_elektronica> ; # Micro-elektronica
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/circuits_integres_congres> ; # Circuits intégrés--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/integrated_circuits_very_large_scale_integration_computer_aided_design> ; # Integrated circuits--Very large scale integration--Computer-aided design
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/schaltungsentwurf> ; # Schaltungsentwurf
   schema:about <http://id.worldcat.org/fast/975604> ; # Integrated circuits--Very large scale integration--Computer-aided design
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/theoremes_demonstration_automatique_congres> ; # Théorèmes--Démonstration automatique--Congrès
   schema:about <http://dewey.info/class/621.392/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/806800177#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/20812862> ; # Victoria Stavridou
   schema:contributor <http://viaf.org/viaf/48353444> ; # Raymond T. Boute
   schema:contributor <http://viaf.org/viaf/46847876> ; # Tom F. Melham
   schema:creator <http://experiment.worldcat.org/entity/work/data/806800177#Meeting/ifip_tc10_wg10_2_international_conference_on_theorem_provers_in_circuit_design_theory_practice_and_experience_1992_nijmegen_netherlands> ; # IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience ( 1992 : Nijmegen, Netherlands)
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/806800177> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0926-5473> ; # IFIP transactions.
   schema:isSimilarTo <http://www.worldcat.org/oclc/692245034> ;
   schema:name "Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992"@en ;
   schema:productID "25914525" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/25914525#PublicationEvent/amsterdam_new_york_north_holland_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/806800177#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444896865> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/25914525> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Meeting/ifip_tc10_wg10_2_international_conference_on_theorem_provers_in_circuit_design_theory_practice_and_experience_1992_nijmegen_netherlands> # IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience ( 1992 : Nijmegen, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/806800177#Place/nijmegen_netherlands> ; # Nijmegen, Netherlands)
   schema:name "IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience ( 1992 : Nijmegen, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Place/nijmegen_netherlands> # Nijmegen, Netherlands)
    a schema:Place ;
   schema:name "Nijmegen, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Place/nimwegen_1992> # Nimwegen <1992>
    a schema:Place ;
   schema:name "Nimwegen <1992>" ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Topic/circuits_integres_congres> # Circuits intégrés--Congrès
    a schema:Intangible ;
   schema:name "Circuits intégrés--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Topic/integrated_circuits_very_large_scale_integration_computer_aided_design> # Integrated circuits--Very large scale integration--Computer-aided design
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008123907> ;
   schema:name "Integrated circuits--Very large scale integration--Computer-aided design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/806800177#Topic/theoremes_demonstration_automatique_congres> # Théorèmes--Démonstration automatique--Congrès
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique--Congrès"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/975604> # Integrated circuits--Very large scale integration--Computer-aided design
    a schema:Intangible ;
   schema:name "Integrated circuits--Very large scale integration--Computer-aided design"@en ;
    .

<http://viaf.org/viaf/20812862> # Victoria Stavridou
    a schema:Person ;
   schema:familyName "Stavridou" ;
   schema:givenName "Victoria" ;
   schema:givenName "V." ;
   schema:name "Victoria Stavridou" ;
    .

<http://viaf.org/viaf/46847876> # Tom F. Melham
    a schema:Person ;
   schema:familyName "Melham" ;
   schema:givenName "Tom F." ;
   schema:givenName "T. F." ;
   schema:name "Tom F. Melham" ;
    .

<http://viaf.org/viaf/48353444> # Raymond T. Boute
    a schema:Person ;
   schema:familyName "Boute" ;
   schema:givenName "Raymond T." ;
   schema:givenName "R. T." ;
   schema:name "Raymond T. Boute" ;
    .

<http://worldcat.org/isbn/9780444896865>
    a schema:ProductModel ;
   schema:isbn "0444896864" ;
   schema:isbn "9780444896865" ;
    .

<http://worldcat.org/issn/0926-5473> # IFIP transactions.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/25914525> ; # Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
   schema:issn "0926-5473" ;
   schema:name "IFIP transactions." ;
   schema:name "IFIP transactions. A, Computer science and technology," ;
    .

<http://www.worldcat.org/oclc/692245034>
    a schema:CreativeWork ;
   rdfs:label "Theorem provers in circuit design." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/25914525> ; # Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
    .

<http://www.worldcat.org/title/-/oclc/25914525>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/25914525> ; # Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.