External Users and Collaborators

From UclidWiki

Jump to: navigation, search

We are aware of UCLID users in the United States, Canada, Israel, India, and China. Here are publications by UCLID users that we know of:

  • Z. S. Andraus and K. A. Sakallah, Automatic Abstraction and Verification of Verilog Models, Proceedings of the Design Automation Conference (DAC), ACM/IEEE, 218-223, June, 2004.
  • P. Manolios and S. K. Srinivasan. Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements, Proceedings of Design, Automation, and Test in Europe (DATE), 2004.

If you have used UCLID in your project, please let us know. If you have published papers based on your use of UCLID, please send us the citations of your papers.

The UCLID project has greatly benefited from contributions from other researchers, both theoretical and implementation. Our academic collaborators include: Daniel Kroening and Joël Ouaknine at Oxford University, and Ofer Strichman at the Technion. We also have an ongoing collaboration with researchers at Intel Strategic CAD Labs.

Retrieved from "http://uclid.eecs.berkeley.edu/wiki/index.php/External_Users_and_Collaborators"
Personal tools