Current Trends in Hardware Verification and Automated Theorem Proving
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer New York

9781461281955, 9781461236580

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Theorem Proving for Analysis and Synthesis of Computations

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_11 ◽

1989 ◽

pp. 440-464 ◽

Cited By ~ 1

Author(s):

David R. Musser

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Analysis And Synthesis

Download Full-text

Formal Verification in m-EVES

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_6 ◽

1989 ◽

pp. 268-302 ◽

Cited By ~ 2

Author(s):

Bill Pase ◽

Mark Saaltink

Keyword(s):

Formal Verification

Download Full-text

Correctness Properties of the Viper Block Model: The Second Level

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_1 ◽

1989 ◽

pp. 1-91 ◽

Cited By ~ 33

Author(s):

Avra Cohn

Keyword(s):

Block Model

Download Full-text

OBJ as a Theorem Prover with Applications to Hardware Verification

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_5 ◽

1989 ◽

pp. 219-267 ◽

Cited By ~ 11

Author(s):

Joseph A. Goguen

Keyword(s):

Hardware Verification ◽

Theorem Prover

Download Full-text

Automating Recursive Type Definitions in Higher Order Logic

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_9 ◽

1989 ◽

pp. 341-386 ◽

Cited By ~ 63

Author(s):

Thomas F. Melham

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Formal Verification of a Microprocessor Using Equational Techniques

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_4 ◽

1989 ◽

pp. 171-218 ◽

Cited By ~ 3

Author(s):

R. C. Sekar ◽

M. K. Srivas

Keyword(s):

Formal Verification

Download Full-text

Specification-driven Design of Custom Hardware in HOP

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_3 ◽

1989 ◽

pp. 128-170 ◽

Cited By ~ 3

Author(s):

Ganesh C. Gopalakrishnan ◽

Richard M. Fujimoto ◽

Venkatesh Akella ◽

N. S. Mani ◽

Kevin N. Smith

Keyword(s):

Custom Hardware

Download Full-text

Formal Verification of the Sobel Image Processing Chip

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_2 ◽

1989 ◽

pp. 92-127 ◽

Cited By ~ 5

Author(s):

Paliath Narendran ◽

Jonathan Stillman

Keyword(s):

Image Processing ◽

Formal Verification

Download Full-text

What Do Computer Architects Design Anyway?

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_12 ◽

1989 ◽

pp. 465-479 ◽

Cited By ~ 1

Author(s):

A. L. Davis

Download Full-text

An Overview of the Edinburgh Logical Framework

Current Trends in Hardware Verification and Automated Theorem Proving ◽

10.1007/978-1-4612-3658-0_8 ◽

1989 ◽

pp. 323-340 ◽

Cited By ~ 7

Author(s):

Arnon Avron ◽

Furio Honsell ◽

Ian A. Mason

Keyword(s):

Logical Framework

Download Full-text

Current Trends in Hardware Verification and Automated Theorem ProvingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer New York

Automated Theorem Proving for Analysis and Synthesis of Computations

Formal Verification in m-EVES

Correctness Properties of the Viper Block Model: The Second Level

OBJ as a Theorem Prover with Applications to Hardware Verification

Automating Recursive Type Definitions in Higher Order Logic

Formal Verification of a Microprocessor Using Equational Techniques

Specification-driven Design of Custom Hardware in HOP

Formal Verification of the Sobel Image Processing Chip

What Do Computer Architects Design Anyway?

An Overview of the Edinburgh Logical Framework

Current Trends in Hardware Verification and Automated Theorem Proving
Latest Publications