Wanted: Info on symbolic execution of specifications

Thread View: net.research

1 messages

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

1 total messages Started by Ralf Kneuper Fri, 28 Feb 1986 17:02

#134

Author: 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.

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