The Community for Technology Leaders
RSS Icon
Subscribe
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
Introduction
Referees (PDF)
pp. xi
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
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool