Volume 5; Issue 4

Journal of Automated Reasoning

Volume 5; Issue 4

1

System verification

J Strother Moore

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 83 KB

english, 1989

2

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore, William D. Young

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 956 KB

english, 1989

3

Microprocessor design verification

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.54 MB

english, 1989

4

A mechanically verified language implementation

J Strother Moore

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.65 MB

english, 1989

5

A mechanically verified code generator

William D. Young

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.23 MB

english, 1989

6

Kit and the short stack

William R. Bevier

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 572 KB

english, 1989

7

The problem of guaranteeing the absence of a complete set of reductions

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 88 KB

english, 1989

8

An automated reasoning problem associated with proving claims about programs using Floyd-Hoare inductive assertion methods

G. H. Chisholm, B. T. Smith, A. S. Wojcik

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 393 KB

english, 1989