3. FMCAD 2000: Austin, Texas, USA

@proceedings{DBLP:conf/fmcad/2000,
  editor    = {Warren A. Hunt Jr. and
               Steven D. Johnson},
  title     = {Formal Methods in Computer-Aided Design, Third International
               Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000,
               Proceedings},
  booktitle = {FMCAD},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1954},
  year      = {2000},
  isbn      = {3-540-41219-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Mark E. Dean:
  Trends in Computing. 1-2
  Electronic Edition (Springer LINK) BibTeX

Invited Paper

• David M. Russinoff:
  A Case Study in Fomal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon^TM Processor. 3-36
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Roderick Bloem, Harold N. Gabow, Fabio Somenzi:
  An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. 37-54
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Radu Grosu, Bow-Yaw Wang:
  Automated Refinement Checking for Asynchronous Processes. 55-72
  Electronic Edition (Springer LINK) BibTeX
• In-Ho Moon, Gary D. Hachtel, Fabio Somenzi:
  Border-Block Triangular Form and Conjunction Schedule in Image Computation. 73-90
  Electronic Edition (Springer LINK) BibTeX
• David A. Basin, Stefan Friedrich, Sebastian Mödersheim:
  B2M: A Semantic Based Tool for BLIF Hardware Descriptions. 91-107
  Electronic Edition (Springer LINK) BibTeX
• Mary Sheeran, Satnam Singh, Gunnar Stålmarck:
  Checking Safety Properties Using Induction and a SAT-Solver. 108-125
  Electronic Edition (Springer LINK) BibTeX
• Nancy A. Day, Mark Aagaard, Byron Cook:
  Combining Stream-Based and State-Based Verification Techniques. 126-142
  Electronic Edition (Springer LINK) BibTeX
• Kavita Ravi, Roderick Bloem, Fabio Somenzi:
  A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. 143-160
  Electronic Edition (Springer LINK) BibTeX
• Panagiotis Manolios:
  Correctness of Pipelined Machines. 161-178
  Electronic Edition (Springer LINK) BibTeX
• Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer:
  Do You Trust Your Model Checker? 179-196
  Electronic Edition (Springer LINK) BibTeX
• Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang:
  Executable Protocol Specification in ESL. 197-216
  Electronic Edition (Springer LINK) BibTeX
• John Harrison:
  Formal Verification of Floating Point Trigonometric Functions. 217-233
  Electronic Edition (Springer LINK) BibTeX
• Jun Sawada, Warren A. Hunt Jr.:
  Hardware Modeling Using Function Encapsulation. 234-245
  Electronic Edition (Springer LINK) BibTeX
• Antonio Cerone, George J. Milne:
  A Methodology for the Formal Analysis of Asynchronous Micropipelines. 246-262
  Electronic Edition (Springer LINK) BibTeX
• Mark Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger:
  A Methodology for Large-Scale Hardware Verification. 263-282
  Electronic Edition (Springer LINK) BibTeX
• Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi:
  Model Checking Synchronous Timing Diagrams. 283-298
  Electronic Edition (Springer LINK) BibTeX
• Jin Hou, Eduard Cerny:
  Model Reductions and a Case Study. 299-315
  Electronic Edition (Springer LINK) BibTeX
• Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
  Modeling and Parameters Synthesis for an Air Traffic Management System. 316-334
  Electronic Edition (Springer LINK) BibTeX
• Kanna Shimizu, David L. Dill, Alan J. Hu:
  Monitor-Based Formal Specification of PCI. 335-353
  Electronic Edition (Springer LINK) BibTeX
• Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta:
  SAT-Based Image Computation with Application in Reachability Analysis. 354-371
  Electronic Edition (Springer LINK) BibTeX
• Per Bjesse, Koen Claessen:
  SAT-Based Verification without State Space Traversal. 372-389
  Electronic Edition (Springer LINK) BibTeX
• Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster:
  Scalable Distributed On-the-Fly Symbolic Model Checking. 390-404
  Electronic Edition (Springer LINK) BibTeX
• Gordon J. Pace:
  The Semantics of Verilog Using Transition System Combinators. 405-422
  Electronic Edition (Springer LINK) BibTeX
• Gerd Ritter:
  Sequential Equivalence Checking by Symbolic Simulation. 423-442
  Electronic Edition (Springer LINK) BibTeX
• Christoph Meinel, Christian Stangier:
  Speeding Up Image Computation by Using RTL Information. 443-454
  Electronic Edition (Springer LINK) BibTeX
• Kiyoharu Hamaguchi, Hidekazu Urushihara, Toshinobu Kashiwabara:
  Symbolic Checking of Signal-Transition Consistency for Verifying High-Level Designs. 455-469
  Electronic Edition (Springer LINK) BibTeX
• Chris Wilson, David L. Dill, Randal E. Bryant:
  Symbolic Simulation with Approximate Values. 470-485
  Electronic Edition (Springer LINK) BibTeX
• Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel:
  A Theory of Consistency for Modular Synchronous Systems. 486-504
  Electronic Edition (Springer LINK) BibTeX
• Michael D. Jones, Ganesh Gopalakrishnan:
  Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. 505-519
  Electronic Edition (Springer LINK) BibTeX
• Alex Tsow, Steven D. Johnson:
  Visualizing System Factorizations with Behavior Tables. 520-537
  Electronic Edition (Springer LINK) BibTeX

Addendum

• Robert Beers, Rajnish Ghughal, Mark Aagaard:
  Applications of Hierarchical Verification in Model Checking.
  Electronic Edition (Springer LINK) BibTeX