Neil Daeche

According to our database, Neil Daeche authored at least 6 papers between 1986 and 1993.

Collaborative distances:

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

1993

Strongly-Typed Theory of Structures and Behaviours.

Keith Hanna, Neil Daeche

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Implementation of the Veritas Design Logic.

Keith Hanna, Neil Daeche, Gareth Howells

Proceedings of the Theorem Provers in Circuit Design, 1992

The Veritas Design Logic: A User's View.

Keith Hanna, Neil Daeche

Proceedings of the Theorem Provers in Circuit Design, 1992

1990

Specification and Verification Using Dependent Types.

F. Keith Hanna, Neil Daeche, Mark Longley

IEEE Trans. Software Eng., 1990

1989

Veritas⁺: A Specification Language Based on Type Theory.

F. Keith Hanna, Neil Daeche, Mark Longley

Proceedings of the Hardware Specification, 1989

1986

Purely Functional Implementation of a Logic.

F. Keith Hanna, Neil Daeche

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986