4
Publications
88
Citations
4
H-Index
2001
Active since
Affiliations
Rockwell Automation (United States)(Current)
David Greve is an author at Rockwell Automation (United States) specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSoftware DesignSystem SoftwareEmbedded SystemsProgram AnalysisProof Complexity
Publications per year
2001–2009
4
4
Efficient execution in an automated reasoning environment
David Greve, Matt Kaufmann, Panagiotis Manolios et al. · Journal of Functional Programming · 2007 · 35 citations · Full text
Efficient Simulation of Formal Processor Models
Matthew Wilding, David Greve, David Hardin · Formal Methods in System Design · 2001 · 24 citations
David Greve · 2009 · 12 citations
Rows per page
1–4 of 4