Automatic translation, simulation, Z

Article View: comp.specification.z

Article #68

Back to comp.specification.z Previous Next

#68

From: Andrew Harry
Date: Fri, 28 Aug 1992 13:16

26 lines
1507 bytes

I have been involved in the production of a report (for the Data Security Group) looking into current research into ways of automatically generating test code and reference implementations (prototypes) from formal descriptions. The work has revealed a large amount of tools currently available in languages such as LOTOS, SDL, and RAISE. but I am unable to find any pointers to work in this field for the formal language Z, and very little for the language VDM (apart from me-too, EPROS and and a VDM-to-SML tra







nslator being developed here).

I would be interested to here from anyone who has or is developing tools in this area in Z or VDM. This includes translation tools and executable subsets, BUT NOT type checkers, syntax directed editors or proof tools.

The report is due for publication soon so prompt replies would be hoped for.

Thankyou in advance

Andrew Harry (Scientific officer)
Data Security Group,
National Physical Laboratory,
Queens Road,
Teddington,
Middlesex, TW11 0LW,
ENGLAND

Tel: +4481 943 7009
Fax: +4481 977 7091

Technical Details

Message-ID: <1992Aug28.131651.5416@nplpsg.uucp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!olivea!mintaka.lcs.mit.edu!bloom-beacon!eru.mt.luth.se!lunic!sunic!mcsun!uknet!nplpsg!ach

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!olivea!mintaka.lcs.mit.edu!bloom-beacon!eru.mt.luth.se!lunic!sunic!mcsun!uknet!nplpsg!ach
From: ach@dsg.npl.co.uk (Andrew Harry)
Newsgroups: comp.specification.z
Subject: Automatic translation, simulation, Z
Message-ID: <1992Aug28.131651.5416@nplpsg.uucp>
Date: 28 Aug 92 13:16:51 GMT
Sender: ach@nplpsg.uucp (Andrew Harry)
Distribution: eunet
Organization: National Physical Laboratory, UK
Lines: 18