2008 Formal Methods in Computer-Aided Design
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By IEEE

9781424427352

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Augmenting a Regular Expression-Based Temporal Logic with Local Variables

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.27 ◽

2008 ◽

Cited By ~ 4

Author(s):

Cindy Eisner ◽

Dana Fisman

Keyword(s):

Temporal Logic ◽

Regular Expression

Download Full-text

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.32 ◽

2008 ◽

Cited By ~ 5

Author(s):

Armin Biere ◽

Robert Brummayer

Keyword(s):

Consistency Checking ◽

Sat Solver

Download Full-text

[Copyright notice]

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.2 ◽

2008 ◽

Keyword(s):

Copyright Notice

Download Full-text

Symbolic Program Analysis Using Term Rewriting and Generalization

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.23 ◽

2008 ◽

Cited By ~ 10

Author(s):

Nishant Sinha

Keyword(s):

Program Analysis ◽

Term Rewriting

Download Full-text

Automatic Formal Verification of Block Cipher Implementations

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.10 ◽

2008 ◽

Cited By ~ 11

Author(s):

Eric Smith ◽

David L. Dill

Keyword(s):

Formal Verification ◽

Block Cipher

Download Full-text

BackSpace: Formal Analysis for Post-Silicon Debug

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.9 ◽

2008 ◽

Cited By ~ 38

Author(s):

Flavio M. De Paula ◽

Marcel Gort ◽

Alan J. Hu ◽

Steven J. E. Wilton ◽

Jin Yang

Keyword(s):

Formal Analysis ◽

Silicon Debug

Download Full-text

A Temporal Language for SystemC

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.26 ◽

2008 ◽

Cited By ~ 22

Author(s):

Deian Tabakov ◽

Gila Kamhi ◽

Moshe Y. Vardi ◽

Eli Singerman

Keyword(s):

Temporal Language

Download Full-text

Beyond Vacuity: Towards the Strongest Passing Formula

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.28 ◽

2008 ◽

Cited By ~ 8

Author(s):

Hana Chockler ◽

Arie Gurfinkel ◽

Ofer Strichman

Download Full-text

Going with the Flow: Parameterized Verification Using Message Flows

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.14 ◽

2008 ◽

Cited By ~ 29

Author(s):

Murali Talupur ◽

Mark R. Tuttle

Keyword(s):

Parameterized Verification

Download Full-text

Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow

2008 Formal Methods in Computer-Aided Design ◽

10.1109/fmcad.2008.ecp.25 ◽

2008 ◽

Cited By ~ 2

Author(s):

Pieter H. Hartel ◽

Theo C. Ruys ◽

Marc C. W. Geilen

Keyword(s):

Data Flow ◽

Synchronous Data Flow

Download Full-text