10 May: DCLRS -- Friday, May 10, 2002

Dublin Computational Linguistics Research Seminar: Index of May 2002 | Dublin Computational Linguistics Research Seminar - Index of year: 2002 | Full index

Howdy.

There isn't a DCLRS this week. However, there is a Department
of Computer Science seminar at noon in the ORI Large Conference
Room to which all are welcome:

PROSPER AT EDINBURGH

Proof and Specification Assisted Design Environments

Formal verification with natural language specifications: guidelines,
experiments and lessons so far

Alexander Holt

South African Computer Journal, No. 24, November 1999, pp. 253-257.
(Special issue: Proceedings of the Annual Research Conference of the
South African Institute of Computer Scientists and Information
Technologists: 17-19 November 1999, Mount Amanzi Lodge,
Hartebeespoort, South Africa).

Abstract

The industrial take-up of formal verification techniques remains
limited. Allowing specifications to be expressed in natural language
(perhaps augmented with diagrams) offers the prospect of increasing
the usability of verification tools. We suggest guidelines for the
development of such systems, and describe a prototype which provides
an English interface to the SMV model checker by translating
specification sentences to formulas of temporal logic. Limitations are
discussed, and prospects for future development considered.

Take care,

carl

Dublin Computational Linguistics Research Seminar - Index of May 2002 | Index of year: 2002 | Full index