skip to content
Advanced formal verification Preview this item
ClosePreview this item
Checking...

Advanced formal verification

Author: Rolf Drechsler
Publisher: Boston : Kluwer Academic Publishers, ©2004.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Rolf Drechsler
ISBN: 1402077211 9781402077210
OCLC Number: 53477742
Description: xxv, 249 pages : illustrations ; 25 cm
Contents: Introduction / Rolf Drechsler --
What Sat-Solvers can and cannot do / Eugene Goldberg --
Advancements in mixed BDD and SAT techniques / Gianpiero Cabodi, Stefano Quer --
Equivalence Checking of Arithmetic Circuits / Dominik Stoffel, Evgeny Karibaev, Irina Kufareva, Wolfgang Kunz --
Application of Property Checking and Underlying Techniques / Raik Brinkmann, Peer Johannsen, Klaus Winkelmann --
Assertion-Based Verification / Claudionor Nunes Coelho, Jr., Harry D. Foster --
Formal Verification for Nonlinear Analog Systems / Walter Hartong, Ralf Klausen, Lars Hedrich.
Responsibility: edited by Rolf Drechsler.
More information:

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/53477742> # Advanced formal verification
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "53477742" ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/889089> ; # Decision trees
   schema:about <http://dewey.info/class/621.381548/e22/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85042282> ; # Electronic circuits--Testing
   schema:about <http://experiment.worldcat.org/entity/work/data/355049741#Topic/elektronische_schaltung> ; # Elektronische Schaltung
   schema:about <http://experiment.worldcat.org/entity/work/data/355049741#Topic/verifikation> ; # Verifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/355049741#Topic/funktionstest> ; # Funktionstest
   schema:about <http://id.worldcat.org/fast/906898> ; # Electronic circuits--Testing
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/355049741#Person/drechsler_rolf> ; # Rolf Drechsler
   schema:copyrightYear "2004" ;
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/355049741> ;
   schema:inLanguage "en" ;
   schema:name "Advanced formal verification"@en ;
   schema:productID "53477742" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/53477742#PublicationEvent/boston_kluwer_academic_publishers_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/355049741#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0820/2003064115-t.html> ;
   schema:url <http://site.ebrary.com/id/10115222> ;
   schema:workExample <http://worldcat.org/isbn/9781402077210> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA415005> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA3T6911> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/53477742> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/355049741#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/355049741#Person/drechsler_rolf> # Rolf Drechsler
    a schema:Person ;
   schema:familyName "Drechsler" ;
   schema:givenName "Rolf" ;
   schema:name "Rolf Drechsler" ;
    .

<http://experiment.worldcat.org/entity/work/data/355049741#Topic/elektronische_schaltung> # Elektronische Schaltung
    a schema:Intangible ;
   schema:name "Elektronische Schaltung"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042282> # Electronic circuits--Testing
    a schema:Intangible ;
   schema:name "Electronic circuits--Testing"@en ;
    .

<http://id.worldcat.org/fast/889089> # Decision trees
    a schema:Intangible ;
   schema:name "Decision trees"@en ;
    .

<http://id.worldcat.org/fast/906898> # Electronic circuits--Testing
    a schema:Intangible ;
   schema:name "Electronic circuits--Testing"@en ;
    .

<http://worldcat.org/isbn/9781402077210>
    a schema:ProductModel ;
   schema:isbn "1402077211" ;
   schema:isbn "9781402077210" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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