NADA New Hardware Design Methods

Summary

Partners

• University of Amsterdam:

Jan A. Bergstra (Responsible), Alban Ponse
• Universität Augsburg (Prime Contractor):

B. Möller(Responsible)
• University of Kent:

F. Keith Hanna (Responsible)
• Leeds University:

A.V. Holden (Responsible), M.J. Poole 
• Medizinische Universität zu Lübeck:

W. Dosch (Responsible)
• Universidad Carlos III de Madrid:

Carlos Delgado Kloos (Responsible), Peter T. Breuer, Natividad Martínez Madrid, Luis Sánchez Fernández
• Ludwigs-Maximilian-Universität München

Helmut Schwichtenberg (Responsible), Hans Leiss , Ulrich Berger
• Technische Universität München:

Manfred Broy (Responsible), Peter Scholz, Jan Philipps
• University of Stockholm:

K. Meinke (Responsible)
• University College of Swansea:

John V. Tucker (Responsible) Neal A. Harman, 
• Uppsala University:

Viggo Stoltenberg-Hansen (Responsible)

Extended Documentation: B. Möller, J.V. Tucker (Eds.) : Prospects for Hardware Foundations.  Springer Lecture Notes in Computer Science 1546, 1998

Annual Report May 1996 - August 1997 and Final Report (Gzipped Postscript)

Annual Report April 1995 - April 1996 (Gzipped Postscript)

Report of NADA Meeting on Streams, 16-18 Oct. 1995 (Gzipped Postscript)

Annual Report April 1994 - March 1995

IFIP WG 10.5 Hardware Verification Benchmarks