David Overton is an author at Monash University specializing in automated reasoning, numerical analysis, and formal specification.
Top concepts
EngineeringVerificationFormal MethodsModal AnalysisComputer ScienceProgram AnalysisSoftware AnalysisNumerical AnalysisAutomated ReasoningFormal Verification
Publications per year
2002–2002
1
1
Constraint-based mode analysis of mercury
David Overton, Zoltán Somogyi, Peter J. Stuckey · 2002 · 22 citations
Rows per page
1–1 of 1