Concepedia

Author

Richard J. Boulton

University of Edinburgh

Also Known As

Boulton, Richard J, R. Boulton, RICHARD J. BOULTON, Richard Boulton, Richard J. Boulton

34

Publications

438

Citations

9

H-Index

8

Concepts

All Affiliations

University of Edinburgh
RJ

About

Richard J. Boulton is an author at University of Edinburgh specializing in software analysis, program analysis, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Science

1

1

13

3

Software Analysis

1

1

13

4

Automated Reasoning

1

1

13

5

Formal Methods

1

1

13

Richard J. Boulton

×

3

Publications

196

Citations

3

H-Index

YearCitations

Experience with Embedding Hardware Description Languages in HOL

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon,

1992

159

The HOL verification of ELLA designs

Richard J. Boulton, Mike Gordon, John Herbert,

2021

24

An ML editor based on proofs-as-programs

Jon Whittle, Alan Bundy, Richard J. Boulton,

2003

13

Page 1