Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G., Carenini M., Marino M., Moreschini P. Verifying concurrent system by talking to them. Internal note IEI-B4-32, 1992.
In this paper we present a prototype translator from Natural Language expressions into Temporal Logic formulae. The translator is realized using a general development environment for Natural Language processing and it has been interfaced with a verification environment of behavioural properties on concurrent systems specified by process algebras. This too1 can be viewed as an aid to override the many imprecisions that frequently occur in the passage from informal requirements expressed by means of Natural Language expressions to Temporal Logic formulae.
Subject Temporal Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional