Sten Agerholm is an author at Aarhus University specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisFormal VerificationReasoningFormal LogicVerification
Publications per year
1994–2005
4
4
A HOL Basis for Reasoning about Functional Programs
Sten Agerholm · BRICS Report Series · 1994 · 35 citations · Full text
Experiments with ZF Set Theory in HOL and Isabelle
Sten Agerholm, Mike Gordon · BRICS Report Series · 1995 · 21 citations · Full text
Mechanizing Program Verification in HOL
Sten Agerholm · 2005 · 21 citations
Formal specification and validation at work
Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert · 1998 · 12 citations · Full text
Rows per page
1–4 of 4