Wanted: Info on symbolic execution of specifications

Article View: net.research

Article #134

#134

From: Ralf Kneuper
Date: Fri, 28 Feb 1986 17:02

9 lines
1202 bytes

I just started working on symbolic execution of specifications etc and
am so far mainly trying to collect information. Will people with up-to-date
knowledge on the subject, like recommended reading, available systems, people
working in the field, personal experience etc, please let me share their 
knowledge, ie mail me. Hopefully this work will go beyond the usual rapid
prototyping approach in that it will not only be possible to test the 
specification/prototype but to actually derive consequences and prove
theorems about it. 
If I get enough replies, I will put a summary in net.research.

Technical Details

Message-ID: <30@ux.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!man.psy!ux!ralf

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!man.psy!ux!ralf
From: ralf@ux.cs.man.ac.uk (Ralf Kneuper)
Newsgroups: net.research,net.wanted
Subject: Wanted: Info on symbolic execution of specifications
Message-ID: <30@ux.cs.man.ac.uk>
Date: Fri, 28-Feb-86 12:02:06 EST
Article-I.D.: ux.30
Posted: Fri Feb 28 12:02:06 1986
Date-Received: Sun, 2-Mar-86 19:38:18 EST
Reply-To: ralf@ux.cs.man.ac.uk (Ralf Kneuper)
Organization: Computer Science Dept, University of Manchester, UK
Lines: 9