Next: Planned Activities
Up: First Annual Meeting
Previous: Case Studies
The meeting was attended by J Staunstrup and M Sheeran as guests of
the Working Group. J Staunstrup gave talks on formal hardware
verification philosophy and techniques at TU Denmark (J Staunstrup,
Formal Approach to Hardware Design, Kluwer, 1994), and on the
IFIP WG 10.2 List of Benchmark Verification Problems (jointly
maintained by J Staunstrup and T Kropf).
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995