Concepedia

Cornelia P. Inggs

CP

Statistics

Publications

4

Citations

72

H-Index

4

Active since

2002

Affiliations

University of Manchester(Current)

Cornelia P. Inggs is an author at University of Manchester specializing in formal verification, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationSystem SoftwareComputer EngineeringParallel Programming

Publications per year

2002–2012

4

Publications

4

CTL* model checking on a shared-memory architecture

Cornelia P. Inggs, Howard Barringer · Formal Methods in System Design · 2006 · 25 citations

Engineering, Program Analysis, Verification +12

Effective State Exploration for Model Checking on a Shared Memory Architecture

Cornelia P. Inggs, Howard Barringer · Electronic Notes in Theoretical Computer Science · 2002 · 22 citations · Full text

Program Checking, Engineering, Verification +23

CTL* Model Checking on a Shared-Memory Architecture

Cornelia P. Inggs, Howard Barringer · Electronic Notes in Theoretical Computer Science · 2005 · 14 citations · Full text

Engineering, Performance Graphs, Verification +21

Automated coverage calculation and test case generation

G. C. Morrison, Cornelia P. Inggs, W.C. Visser · 2012 · 11 citations

Engineering, Test Coverage, Test Data Generation +19

1–4 of 4