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

dc.contributor.author	Holt, A
dc.date.accessioned	2018-06-14T12:09:50Z
dc.date.available	2018-06-14T12:09:50Z
dc.date.issued	1999
dc.identifier.citation	Holt A (1999) Formal verification with natural language specifications: guidelines, experiments and lessons so far. South African Computer Journal, Number 24, 1999	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/24385
dc.description.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.	en
dc.language.iso	en	en
dc.publisher	South African Computer Society (SAICSIT)	en
dc.title	Formal verification with natural language specifications: guidelines, experiments and lessons so far	en
dc.type	Article	en