The Community for Technology Leaders
Formal Methods in Computer Aided Design (2007)
Austin, Texas, USA
Nov. 11, 2007 to Nov. 14, 2007
ISBN: 0-7695-3023-0
TABLE OF CONTENTS
Cover
Cover
Introduction
SAT-Based Methods
High-Level System Analysis
Abstraction-Based Methods
Software Analysis Methods
Symbolic Trajectory Evaluation

A Logic for GSTE (Abstract)

pp. 119-126
Specification Theory
Industrial-Strength Verification
Reasoning about Physical Systems
Advanced Theorem-Proving Applications
Author Index

Author Index (PDF)

pp. 243-244
120 ms
(Ver )