Formal specification translators

Article View: comp.specification

Article #496

Back to comp.specification Previous Next

#496

From: 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

Technical Details

Message-ID: <1993Jan11.100856.5545@nplpsg.uucp>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!bnr.co.uk!uknet!nplpsg!ach

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!bnr.co.uk!uknet!nplpsg!ach
From: dsg.npl.co.uk
Newsgroups: comp.specification
Subject: Formal specification translators
Keywords: Estelle, LOTOS, SDL, Formal, C++
Message-ID: <1993Jan11.100856.5545@nplpsg.uucp>
Date: 11 Jan 93 10:08:56 GMT
Sender: ach@nplpsg.uucp (Andrew Harry)
Distribution: eunet
Organization: National Physical Laboratory, UK
Lines: 27