Formal Methods and Computer Aided Design

Time: 3.-6. Nov 1998
Place: Palo Alto, CA, USA
Proceedings: Springer, LNCS 1522
Attendance: ca. 150 international Science/Industry
from BRICS: M. Oliver Möller: Paper Presentation (Solving Bit-Vector Equations)
Special interest in formal methods and verification [not part of BRICS conference groups S, A, B]

Overall rating:
Some interesting talks, showing case examples of applying formal methods to complex designs; no breakthrough. High attendence of prominent and interesting people.

Remarks on selected talks: General trends: Quotes:
Oliver Möller Last modified: Mon Jan 10 15:11:13 2000