Formal Methods in Computer Aided Design (FMCAD'07)
Latest Publications

TOTAL DOCUMENTS

71

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By IEEE

0769530230, 9780769530239

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Methods in Computer Aided Design - Copyright

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.3 ◽

2007 ◽

Keyword(s):

Formal Methods ◽

Computer Aided Design ◽

Computer Aided ◽

Download Full-text

Preface

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.4 ◽

2007 ◽

Download Full-text

A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4402004 ◽

2007 ◽

Author(s):

Julien Schmaltz

Keyword(s):

Formal Model ◽

Automated Verification

Download Full-text

Cross-Entropy Based Testing

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401988 ◽

2007 ◽

Author(s):

Hana Chockler ◽

Eitan Farchi ◽

Benny Godlin ◽

Sergey Novikov

Keyword(s):

Download Full-text

Boosting Verification by Automatic Tuning of Decision Procedures

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.9 ◽

2007 ◽

Author(s):

Frank Hutter ◽

Domagoj Babic ◽

Holger H. Hoos ◽

Alan J. Hu

Keyword(s):

Decision Procedures ◽

Automatic Tuning

Download Full-text

Checking Safety by Inductive Generalization of Counterexamples to Induction

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.15 ◽

2007 ◽

Author(s):

Aaron R. Bradley ◽

Zohar Manna

Keyword(s):

Inductive Generalization

Download Full-text

Fast Minimum-Register Retiming via Binary Maximum-Flow

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401998 ◽

2007 ◽

Author(s):

Aaron P. Hurst ◽

Alan Mishchenko ◽

Robert K. Brayton

Keyword(s):

Download Full-text

Verifying Correctness of Transactional Memories

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.40 ◽

2007 ◽

Author(s):

Ariel Cohen ◽

John W. O'Leary ◽

Amir Pnueli ◽

Mark R. Tuttle ◽

Lenore D. Zuck

Keyword(s):

Transactional Memories

Download Full-text

Automated Extraction of Inductive Invariants to Aid Model Checking

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.12 ◽

2007 ◽

Author(s):

Michael L. Case ◽

Alan Mishchenko ◽

Robert K. Brayton

Keyword(s):

Model Checking ◽

Automated Extraction ◽

Inductive Invariants

Download Full-text

Two-Dimensional Regular Expressions for Compositional Bus Protocols

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401994 ◽

2007 ◽

Author(s):

Kathi Fisler

Keyword(s):

Regular Expressions ◽

Two Dimensional

Download Full-text