Lets Explore,
Cover of Abstraction Refinement for Large Scale Model Checking: (Integrated Circuits and Systems)

Abstraction Refinement for Large Scale Model Checking: (Integrated Circuits and Systems)

(Hardback)

Fabio Somenzi, Chao Wang, Gary D. Hachtel,

Springer-Verlag New York Inc. (Publisher)

Published
2006
Reviews
0
Technology, Engineering, Agriculture, Industrial processesEnergy technology and engineeringElectrical engineering

Ships within 8-10 days

₹2136.00
₹2202.00
3% off
1
The techniques proposed in this book are fully automatic and are crucial at improving the performance of abstraction refinement. Their application to model checking can significantly increase the model checker's ability to handle large designs. Our experimental studies on some real-world benchmark circuits indicate that these automatic abstraction refinement techniques are the key to applying model checking to industrial-scale systems.

More books by Fabio Somenzi, Chao Wang, Gary D. Hachtel

Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹2202.0₹2136
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹12560.0₹7676
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹8501.94₹8247
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹14460.34₹14027
Cover of Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems.

Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems.

Fabio Somenzi

₹0.0
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹2201.45₹2136

Similar Products

Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹8501.94₹8247
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹14460.34₹14027
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹2201.45₹2136
Cover of Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Fabio Somenzi

₹12560.0₹7676
Cover of Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems.

Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems.

Fabio Somenzi

₹0.0
Cover of Interval-Based Abstraction Refinement

Interval-Based Abstraction Refinement

Pritam Roy

₹6346.52₹6157
Cover of Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

₹2201.45₹2136
Cover of Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Charles Carroll Morgan

₹6879.8₹6674
Vidya AI