Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Computer Laboratory
Computer Laboratory > Abstracts

Seminars will be held in the Lecture Theatre 1 - William Gates Building, Computer Laboratory at 4.15pm
See also: 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.
Wednesday Seminars

Click here for previous seminars.
For further information contact:-
Email: Tel: 01223 331786 Fax: 01223 334678