( en | de | ru )

 

Disambiguation of "Ip, C. Norris"

Author of the publication

copydeleteadd this publication to your clipboard
Symmetry Reduction in SAT-Based Model Checking.

, , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 125-138. Springer, (2005)

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.

Michal íp

Barry Ip

Saimond Ip

Chon Ip Ng

Edward Graham Norris

 

Other publications of authors with the same name

Simulation Coverage Enhancement Using Test Stimulus Transformations.. ICCAD, page 127-133. IEEE Computer Society, (2000)Verifying Systems with Replicated Components in Murphi., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 147-158. Springer, (1996)Symmetry Reduction in SAT-Based Model Checking., , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 125-138. Springer, (2005)Better Verification Through Symmetry., and . CHDL, volume A-32 of IFIP Transactions, page 97-111. North-Holland, (1993)State reduction methods for automatic formal verification.. Stanford University, USA, (1996)Efficient Verification of Symmetric Concurrent Systems., and . ICCD, page 230-234. IEEE Computer Society, (1993)Generalized Reversible Rules.. FMCAD, volume 1522 of Lecture Notes in Computer Science, page 403-420. Springer, (1998)State Reduction Using Reversible Rules., and . DAC, page 564-567. ACM Press, (1996)Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard., , , , and . DATE, page 20088-20094. IEEE Computer Society, (2003)