Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540578260, 9783540483465

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structure and behaviour in hardware verification

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_126 ◽

1994 ◽

pp. 75-88

Author(s):

K. G. W. Goossens

Keyword(s):

Hardware Verification

Download Full-text

Program verification using HOL-UNITY

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_121 ◽

1994 ◽

pp. 1-15 ◽

Author(s):

Flemming Andersen ◽

Kim Dam Petersen ◽

Jimmi S. Pettersson

Keyword(s):

Program Verification

Download Full-text

Reasoning with the formal definition of standard ML in HOL

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_124 ◽

1994 ◽

pp. 43-60 ◽

Author(s):

Donald Syme

Keyword(s):

Formal Definition ◽

Standard Ml ◽

Download Full-text

HOL-ML

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_125 ◽

1994 ◽

pp. 61-74 ◽

Author(s):

Myra Vanlnwegen ◽

Elsa Gunter

Download Full-text

Safety in railway signalling data: A behavioural analysis

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_156 ◽

1994 ◽

pp. 464-474 ◽

Author(s):

M. J. Morley

Keyword(s):

Behavioural Analysis ◽

Railway Signalling

Download Full-text

Some theorems we should prove

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_132 ◽

1994 ◽

pp. 155-162 ◽

Author(s):

David Lorge Parnas

Download Full-text

Verification in higher order logic of mutual exclusion algorithm

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_159 ◽

1994 ◽

pp. 501-513

Author(s):

Victor A. Carreño

Keyword(s):

Mutual Exclusion ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic ◽

Mutual Exclusion Algorithm

Download Full-text

A mechanisation of name-carrying syntax up to alpha-conversion

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_152 ◽

1994 ◽

pp. 413-425 ◽

Author(s):

Andrew D. Gordon

Download Full-text

Domain theory in HOL

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_143 ◽

1994 ◽

pp. 295-309 ◽

Author(s):

Sten Agerholm

Keyword(s):

Download Full-text

Verification of the Tamarack-3 microprocessor in a hybrid verification environment

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_140 ◽

1994 ◽

pp. 253-266 ◽

Author(s):

Zheng Zhu ◽

Jeff Joyce ◽

Carl Seger

Download Full-text