Uclid - Publications - 2003


  • Deciding Quantifier-Free Presburger Formulas Using Finite Instantiation Based on Parameterized Solution Bounds. Sanjit A. Seshia and Randal E. Bryant. Computer Science Department Technical report CMU-CS-03-210, December 2003.
  • A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions. Sanjit A. Seshia, Shuvendu K. Lahiri, and Randal E. Bryant. In Proc. 40th Design Automation Conference (DAC), ACM Press, pages 425–430, June 2003.
  • Convergence Testing in Term-Level Bounded Model Checking. Randal E. Bryant, Shuvendu K. Lahiri, and Sanjit A. Seshia. 12th Conference on Correct Hardware Design and Verification Methods (CHARME), LNCS 2860, pages 348–362, October 2003.
  • Convergence Testing in Term-Level Bounded Model Checking. R. E. Bryant, S. K. Lahiri, and S. A. Seshia. Computer Science Department Technical report CMU-CS-03-156, June 2003.

Read more about this topic:  Uclid, Publications

Other articles related to "2003":

Chess (musical) - Other Staged Productions, Concerts, and Recordings - 2003 - Actors Fund of America Benefit Concert, U.S.
... Presented on September 22, 2003 in the New Amsterdam Theater on Broadway ... It was produced without set or costume changes, and with the orchestra onstage ...
2003 - In Fiction
... The events of 28 Days Later commence in 2003, with the initial uprising of the Rage virus and decimation of Great Britain, and then the sequel 28 Weeks Later is ... Redfield are sent to an Umbrella Fortress in February 2003 ... The Galactic Federation in the Metroid Backstory was formed in 2003 ...
Mark Webber - Formula One Career - Jaguar (2003–2004) - 2003
... Webber's results again earned him plaudits in the press, winning the 2003 "Driver of the Year" award from Autocar magazine ...