Kim Dam Petersen

According to our database, Kim Dam Petersen authored at least 5 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

The HOL-UNITY Verification System.

Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

A Graphical Tool for Proving Unity Progress.

Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson

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

1993

Graph model of LAMBDA in Higher Order Logic.

Kim Dam Petersen

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

Program Verification using HOL-UNITY.

Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson

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

1991

Recursive Boolean Functions in HOL.

Flemming Andersen, Kim Dam Petersen

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