Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer US

9780387691664, 9780387691671

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof by Induction

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_9 ◽

2007 ◽

pp. 175-183

Keyword(s):

Proof By Induction

Download Full-text

SAT-Based Bounded Model Checking

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_5 ◽

2007 ◽

pp. 79-112

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Efficient Boolean Representation

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_3 ◽

2007 ◽

pp. 43-62

Download Full-text

Unbounded Model Checking

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_10 ◽

2007 ◽

pp. 185-212

Keyword(s):

Model Checking

Download Full-text

BMC for Multi-Clock Systems

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_8 ◽

2007 ◽

pp. 155-171

Download Full-text

Distributed SAT-Based BMC

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_6 ◽

2007 ◽

pp. 113-129

Download Full-text

Background

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_2 ◽

2007 ◽

pp. 17-40

Download Full-text

SAT-Based Verification Framework

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_12 ◽

2007 ◽

pp. 247-261 ◽

Cited By ~ 1

Download Full-text

Hybrid DPLL-Style SAT Solver

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_4 ◽

2007 ◽

pp. 63-76

Keyword(s):

Sat Solver

Download Full-text

Synthesis for Verification

Series on Integrated Circuits and Systems - SAT-Based Scalable Formal Verification Solutions ◽

10.1007/978-0-387-69167-1_13 ◽

2007 ◽

pp. 263-295

Download Full-text