1991 International Workshop on the HOL Theorem Proving System and Its Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818624604

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing A Real-time Process Algebra In HOL

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596281 ◽

2005 ◽

Cited By ~ 2

Author(s):

R. Gerber ◽

E.L. Gunter ◽

Insup Lee

Keyword(s):

Real Time ◽

Process Algebra ◽

Time Process

Download Full-text

The Need For Formal Verification In Hardware Design And What Formal Verification Has Not Done For Me Lately

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596275 ◽

2005 ◽

Cited By ~ 1

Author(s):

K. Keutzer

Keyword(s):

Formal Verification ◽

Hardware Design

Download Full-text

Defining Recursive Functions In HOL

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596300 ◽

2005 ◽

Author(s):

W. Ploegaerts ◽

L. Claesen ◽

H. De Man

Keyword(s):

Recursive Functions

Download Full-text

Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596279 ◽

2005 ◽

Author(s):

Shiu-Kai Chin ◽

G. Birtwistle

Keyword(s):

Finite State Machines ◽

Higher Order ◽

Order Logic ◽

State Machines ◽

Higher Order Logic ◽

Finite State

Download Full-text

A Simple Graph Theory And Its Application In Railway Signaling

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596304 ◽

2005 ◽

Cited By ~ 1

Author(s):

Wai Wong

Keyword(s):

Graph Theory ◽

Simple Graph

Download Full-text

Case Studies In Compiler Correctness Using HOL

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596291 ◽

2005 ◽

Author(s):

D.F. Martin ◽

R.J. Toal

Keyword(s):

Case Studies ◽

Compiler Correctness

Download Full-text

Mechanizing Security In HOL

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596273 ◽

2005 ◽

Author(s):

W.L. Harrison ◽

K.N. Levitt

Download Full-text

Verification Of Integrated Subsystems

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596270 ◽

2005 ◽

Author(s):

E.T. Schubert

Download Full-text

The Practical Verification of Microprocessor Designs

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596269 ◽

2005 ◽

Author(s):

P.J. Windley

Download Full-text

Using HOL To Produce Custom Verification Tools

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596283 ◽

2005 ◽

Author(s):

D. Shepherd

Keyword(s):

Verification Tools

Download Full-text

1991 International Workshop on the HOL Theorem Proving System and Its ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Implementing A Real-time Process Algebra In HOL

The Need For Formal Verification In Hardware Design And What Formal Verification Has Not Done For Me Lately

Defining Recursive Functions In HOL

Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic

A Simple Graph Theory And Its Application In Railway Signaling

Case Studies In Compiler Correctness Using HOL

Mechanizing Security In HOL

Verification Of Integrated Subsystems

The Practical Verification of Microprocessor Designs

Using HOL To Produce Custom Verification Tools

1991 International Workshop on the HOL Theorem Proving System and Its Applications
Latest Publications