 | Mandayam Srivas, Albert Camilleri - Computers - 1996 - 490 pages
...Brickford, "Formal Verification of a Pipelined Microprocessor", IEEE Software, 7(5):52-64, Sept. 1990. 18. C. Barrett, D. Dill, and J. Levitt, "Validity Checking for Combinations of Theories with Equality", To appear in FMCAD, 1996. A Brief Study of BDD Package Performance Ellen M. Sentovich Ecole Nationale... | |
 | Anders P. Ravn, Hans Rischel - Computers - 1998 - 356 pages
...the Foundations of Software Engineering (SIGSOFT'96), pages 156-166, October 1996. 2. C. Barrett DL Dill and J. Levitt. Validity checking for combinations of theories with equality. In M. Srivas and A. Camilleri, editors, Formal Methods in Computer Aided Design (FMCAD), number 1166 in... | |
 | Alan J. Hu - Computers - 1998 - 568 pages
...visiting professor at Intel's Strategic CAD Labs in the summer of 1995. References 1. C. Barrett, DL Dill, and J. Levitt. Validity checking for combinations of theories with equality. In FMCAD '96, volume 1166 of LNCS, pages 187-201, Stanford, CA, USA, November 1996. Springer-Verlag. 3.... | |
 | Egon Börger - Computers - 2000 - 376 pages
...Lamport. The existence of refinement mappings. Research report, DEC Systems Research Center, 1988. 2. C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In M. Srivas and A. Camilleri, editors, Proc. FMCAD '96, LNCS 1166, pages 187-201. Springer, 1996. 3.... | |
 | Warren A. Hunt - Computers - 2003 - 474 pages
...Tools and Algorithms for the Construction and Analysis of Systems (TACAS '00), LNCS 1785, 2000. 2. C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In Formal Methods in Computer-Aided Design (FMCAD '96), LNCS 1166, November 1996. Wid Dispatch 1 1 1 1... | |
 | Fahiem Bacchus - Computers - 2005 - 502 pages
...for Solving Formulas over Boolean and Linear Mathematical Propositions," CADE, pp. 193-208, 2002. [5] C. Barrett, D. Dill, and J. Levitt , "Validity Checking for Combinations of Theories with Equality," FMCAD, LNCS 1166, pp. 187-201, 1996 [6] M. Bozzano, R. Bruttomesso, A. Cimatti, TA Junttila, P. van... | |
 | Geoff Sutcliffe, Andrei Voronkov - Computers - 2005 - 756 pages
...6th Int. Con}. Computer Aided Verification (CAV), LNCS 818, pages 68-80, 1994. [BDL96] C. Barrett, DL Dill, and J. Levitt. Validity checking for combinations of theories with equality. In Procs. 1st Intl. Conference on Formal Methods in Computer Aided Design, LNCS 1166, pages 187-201, 1996.... | |
| |
C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. 