Seminars will be held in the Lecture Theatre 1 - William Gates Building, Computer Laboratory at 4.15pm

	See also: Networks & OS seminars Security seminars Logic and Semantics seminars Additional meetings weekly timetable for other meetings

Leslie Lamport

High-Level Specifications: Lessons from Industry

The TLA+ specification language and the TLC model checker are described. Experience using them at Compaq/HP and Intel for writing and debugging high-level specifications is described, and lessons are drawn. Many popular fads are found to be irrelevant to high-level specification.