Sean L. Mooney is an author at Iowa State University specializing in program analysis, formal methods, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringVerification
Publications per year
2010–2014
3
3
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens et al. · 2011 · 35 citations
Implicit invocation meets safe, implicit concurrency
Yuheng Long, Sean L. Mooney, Tyler Sondag et al. · 2010 · 29 citations
Rows per page
1–3 of 3