Advanced Formal Verification
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402077211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Application of Property Checking and Underlying Techniques

Advanced Formal Verification ◽

10.1007/1-4020-2530-0_4 ◽

2006 ◽

pp. 125-166 ◽

Cited By ~ 1

Author(s):

Raik Brinkmann ◽

Peer Johannsen ◽

Klaus Winkelmann

Download Full-text

Equivalence Checking of Arithmetic Circuits

Advanced Formal Verification ◽

10.1007/1-4020-2530-0_3 ◽

2006 ◽

pp. 77-123

Author(s):

Dominik Stoffel ◽

Evgeny Karibaev ◽

Irina Kufareva ◽

Wolfgang Kunz

Keyword(s):

Arithmetic Circuits ◽

Equivalence Checking

Download Full-text

What SAT-solvers Can and Cannot Do

Advanced Formal Verification ◽

10.1007/1-4020-2530-0_1 ◽

2006 ◽

pp. 1-43

Author(s):

Eugene Goldberg

Keyword(s):

Sat Solvers

Download Full-text

Advancements in Mixed BDD and SAT Techniques

Advanced Formal Verification ◽

10.1007/1-4020-2530-0_2 ◽

2006 ◽

pp. 45-76

Author(s):

Gianpiero Cabodi ◽

Stefano Quer

Download Full-text

Formal Verification for Nonlinear Analog Systems: Approaches to Model and Equivalence Checking

Advanced Formal Verification ◽

10.1007/1-4020-2530-0_6 ◽

2006 ◽

pp. 205-245 ◽

Cited By ~ 21

Author(s):

Walter Hartong ◽

Ralf Klausen ◽

Lars Hedrich

Keyword(s):

Formal Verification ◽

Equivalence Checking ◽

Systems Approaches ◽

Analog Systems ◽

Nonlinear Analog

Download Full-text