PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cabodi, Gianpiero"

Author of the publication

copydeleteadd this publication to your clipboard
Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking.

, , and . FMCAD, page 43-50. IEEE, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cabodi, Gianpiero
add a person with the name Cabodi, Gianpiero
 

Other publications of authors with the same name

Symbolic traversals of data paths with auxiliary variables., , and . Great Lakes Symposium on VLSI, page 93-96. IEEE, (1994)Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking., , and . FMCAD, page 43-50. IEEE, (2014)Verification and synthesis of counters based on symbolic techniques., , , and . ED&TC, page 176-181. IEEE Computer Society, (1997)Interpolation sequences revisited., , and . DATE, page 316-322. IEEE, (2011)Tightening BDD-based approximate reachability with SAT-based clause generalization∗., , , and . DATE, page 1-6. European Design and Automation Association, (2014)Cross-fertilizing FSM verification techniques and sequential diagnosis., , , , and . EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , and . FMCAD, page 1-8. IEEE, (2008)Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking., , , and . DATE, page 688-689. IEEE Computer Society, (2005)Thread-based multi-engine model checking for multicore platforms., , and . ACM Trans. Design Autom. Electr. Syst., 18 (3): 36:1-36:28 (2013)TPDL: Extended Temporal Profile Description Language., , , and . Softw., Pract. Exper., 21 (4): 355-374 (1991)