Advances in Formal Methods - Computer-Aided Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781441949813, 9781475731880

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of a Simple Pipelined Machine Model

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_9 ◽

2000 ◽

pp. 137-150 ◽

Cited By ~ 18

Author(s):

Jun Sawada

Keyword(s):

Machine Model

Download Full-text

An Exercise in Graph Theory

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_5 ◽

2000 ◽

pp. 41-74 ◽

Cited By ~ 3

Author(s):

J. Strother Moore

Keyword(s):

Graph Theory

Download Full-text

Symbolic Trajectory Evaluation

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_12 ◽

2000 ◽

pp. 185-199

Author(s):

Damir A. Jamsek

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Using Macros to Mimic VHDL

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_11 ◽

2000 ◽

pp. 167-183

Author(s):

Dominique Borrione ◽

Philippe Georgelin ◽

Vanderlei Rodrigues

Download Full-text

ACL2 Essentials

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_4 ◽

2000 ◽

pp. 27-37 ◽

Cited By ~ 1

Author(s):

Matt Kaufmann ◽

Panagiotis Manolios ◽

J. Strother Moore

Download Full-text

Overview

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_2 ◽

2000 ◽

pp. 9-19

Author(s):

Matt Kaufmann ◽

Panagiotis Manolios ◽

J. Strother Moore

Download Full-text

Continuity and Differentiability

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_18 ◽

2000 ◽

pp. 301-315 ◽

Cited By ~ 4

Author(s):

Ruben Gamboa

Download Full-text

Design Verification of a Safety-Critical Embedded Verifier

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_14 ◽

2000 ◽

pp. 233-245 ◽

Cited By ~ 2

Author(s):

Piergiorgio Bertoli ◽

Paolo Traverso

Keyword(s):

Design Verification ◽

Safety Critical

Download Full-text

Summaries of the Case Studies

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_3 ◽

2000 ◽

pp. 21-25

Author(s):

Matt Kaufmann ◽

Panagiotis Manolios ◽

J. Strother Moore

Keyword(s):

Case Studies

Download Full-text

RTL Verification: A Floating-Point Multiplier

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_13 ◽

2000 ◽

pp. 201-231 ◽

Cited By ~ 10

Author(s):

David M. Russinoff ◽

Arthur Flatau

Keyword(s):

Floating Point

Download Full-text

Advances in Formal Methods - Computer-Aided ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Verification of a Simple Pipelined Machine Model

An Exercise in Graph Theory

Symbolic Trajectory Evaluation

Using Macros to Mimic VHDL

ACL2 Essentials

Overview

Continuity and Differentiability

Design Verification of a Safety-Critical Embedded Verifier

Summaries of the Case Studies

RTL Verification: A Floating-Point Multiplier

Advances in Formal Methods - Computer-Aided Reasoning
Latest Publications