Concepedia

Christopher Griggs

CG

Statistics

Publications

2

Citations

43

H-Index

2

Active since

2017

Affiliations

University of North Carolina at Chapel Hill(Current)

Christopher Griggs is an author at University of North Carolina at Chapel Hill specializing in formal methods, formal verification, and software verification.

Top concepts

Publications per year

2017–2017

2

Publications

2

Identifying Security Critical Properties for the Dynamic Verification of a Processor

Rui Zhang, Natalie Stanley, Christopher Griggs et al. · 2017 · 30 citations

, , +19

Identifying Security Critical Properties for the Dynamic Verification of a Processor

Rui Zhang, Natalie Stanley, Christopher Griggs et al. · ACM SIGARCH Computer Architecture News · 2017 · 13 citations

Rows per page

1–2 of 2