Formal specification translators

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by dsg.npl.co.uk Mon, 11 Jan 1993 10:08

#496

Author: dsg.npl.co.uk
Date: Mon, 11 Jan 1993 10:08

27 lines
1412 bytes

|> Are there any formal specification languages available on top
|> of C/C++ environments? I am looking for formal spec languages
|> that are automatically translated down to C or C++ (perhaps
|> inefficently or partially).

Our group have recently produced a report on test generation and translation
tools for the formal languages Z, VDM, RAISE, SDL LOTOS and Estelle. In it we 
identified tool support for SDL, Estelle, LOTOS and RAISE capable of 
translating to C or C++.

The report (NPL Report DITC 207/92 - State of the art techniques in automatic 
generation of reference implementations & test code from formal specifications)
can be obtained (free of charge) by contacting Sharon Wilson and giving the 
report number and Report Ref (DITC 207/92).

Contact point:
------------------------------
email: sw@dsg.npl.co.uk
Telephone: +4481 943 7071
------------------------------

Data Security Group,
National Physical Laboratory,
Queens Road,
Teddington,
Middlesex, TW11 0LW,
ENGLAND

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads