Sten Agerholm

16 papers Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
1998 — conf
A Lightweight Approach to Formal Methods.
FM-Trends
Sten Agerholm, Peter Gorm Larsen
1998 — conf
Formal specification and validation at work: a case study using VDM-SL.
FMSP
Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert
1998 J jnl
Investigating the Integration of two Formal Methods.
Formal Aspects Comput.
Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm
1998 — ch.
On the Verification of VDM Specification and Refinement with PVS.
Proof in VDM
Sten Agerholm, Juan Bicarregui, Savi Maharaj
1998 — ch.
Supporting Proof in VDM-SL using Isabelle.
Proof in VDM
Sten Agerholm, Jacob Frost
1998 — conf
The IFAD VDM Tools: Lightweight Formal Methods.
FM-Trends
Sten Agerholm, Peter Gorm Larsen
1997 — conf
An Isabelle-Based Theorem Prover for VDM-SL.
TPHOLs
Sten Agerholm, Jacob Frost
1997 — conf
Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.
FME
Sten Agerholm, Jacob Frost
1996 — conf
A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem.
TPHOLs
Sten Agerholm, Ilya Beylin, Peter Dybjer
1996 — conf
Translating Specifications in VDM-SL to PVS.
TPHOLs
Sten Agerholm
1995 — conf
Experiments with ZF Set Theory in HOL and Isabelle.
TPHOLs
Sten Agerholm, Michael J. C. Gordon
1995 J jnl
LCF Examples in HOL.
Comput. J.
Sten Agerholm
1995 — conf
Non-primitive Recursive Function Definitions.
TPHOLs
Sten Agerholm
1994 — conf
LCF Examples in HOL.
TPHOLs
Sten Agerholm
1993 — conf
Domain Theory in HOL.
HUG
Sten Agerholm
1991 — conf
Mechanizing Program Verification in HOL.
TPHOLs
Sten Agerholm