Volume 5, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 5, Issue 4

December 1989

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

System verification
J Strother Moore
Legacy Pages: 409 - 410
An approach to systems verification
William R. Bevier
Warren A. Hunt Jr
William D. Young
OriginalPaper Pages: 411 - 428
Microprocessor design verification
Warren A. Hunt Jr
OriginalPaper Pages: 429 - 460
A mechanically verified language implementation
J Strother Moore
OriginalPaper Pages: 461 - 492
A mechanically verified code generator
William D. Young
OriginalPaper Pages: 493 - 518
Kit and the short stack
William R. Bevier
OriginalPaper Pages: 519 - 530
The problem of guaranteeing the absence of a complete set of reductions
Larry Wos
Basic Research Problems Pages: 531 - 532
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
Problem Corner Pages: 533 - 540