• F
  • 2007
  • Formal Methods in Computer Aided Design (FMCAD'07)
Advanced Search 
Formal Methods in Computer Aided Design (FMCAD'07)
Austin, Texas, USA
November 11-November 14
ISBN: 0-7695-3023-0
Table of Contents
Preface (PDF)
pp. viii
SAT-Based Methods
High-Level System Analysis
Abstraction-Based Methods
Software Analysis Methods
Symbolic Trajectory Evaluation
Specification Theory
Industrial-Strength Verification
Reasoning about Physical Systems
Advanced Theorem-Proving Applications
Author Index
Author Index (PDF)
pp. 243-244
Usage of this product signifies your acceptance of the Terms of Use.