3. FMCAD 2000:
Austin,
Texas,
USA
Warren A. Hunt Jr., Steven D. Johnson (Eds.):
Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings.
Lecture Notes in Computer Science 1954 Springer 2000, ISBN 3-540-41219-0 BibTeX
@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
Invited Paper
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
The following paper was mistakenly left out of the printed proceedings. It is available in the online version only.
Copyright © Sat May 16 23:12:16 2009
by Michael Ley (ley@uni-trier.de)