Sten Agerholm

According to our database, Sten Agerholm authored at least 15 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Investigating the Integration of two Formal Methods.

Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm

Formal Aspects Comput., 1998

Formal specification and validation at work: a case study using VDM-SL.

Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

The IFAD VDM Tools: Lightweight Formal Methods.

Sten Agerholm, Peter Gorm Larsen

Proceedings of the Applied Formal Methods, 1998

A Lightweight Approach to Formal Methods.

Sten Agerholm, Peter Gorm Larsen

Proceedings of the Applied Formal Methods, 1998

Supporting Proof in VDM-SL using Isabelle.

Sten Agerholm, Jacob Frost

Proceedings of the Proof in VDM: Case Studies, 1998

On the Verification of VDM Specification and Refinement with PVS.

Sten Agerholm, Juan Bicarregui, Savi Maharaj

Proceedings of the Proof in VDM: Case Studies, 1998

1997

An Isabelle-Based Theorem Prover for VDM-SL.

Sten Agerholm, Jacob Frost

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.

Sten Agerholm, Jacob Frost

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem.

Sten Agerholm, Ilya Beylin, Peter Dybjer

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Translating Specifications in VDM-SL to PVS.

Sten Agerholm

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

LCF Examples in HOL.

Sten Agerholm

Comput. J., 1995

Experiments with ZF Set Theory in HOL and Isabelle.

Sten Agerholm, Michael J. C. Gordon

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Non-primitive Recursive Function Definitions.

Sten Agerholm

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1993

Domain Theory in HOL.

Sten Agerholm

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1991

Mechanizing Program Verification in HOL.

Sten Agerholm

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991