SOFTVERF Mailing List Archive
This is an automatic archive of all messages sent to the
mailing list softverf@nist.gov.
Discussion, suggestions, and ideas are archived here for future reference.
The SOFTVERF mailing list is an electronic discourse community for people
interested in formal verification of software. It is often refered
to, somewhat inaccurately, as proving software to be correct.
Formal means
having a formal or mathematical basis. Verification means
proving that an implementation corresponds to or satisfies a
specification. Related work, such as testing, software engineering,
design methods, etc., is only casually covered.
To subscribe, send email to
listproc@nist.gov
The body of the message must contain
subscribe softverf Your Name
You can unsubscribe at any time.
To get a message to everyone on the mailing list, send email to
softverf@nist.gov
The latest issue of this archive is at
http://hissa.nist.gov/mlists/softverf/.
Archiving is done by
mlist2html.
September 2001
Archive of previous months:
2001
2000
1999
1998
1997
1996
This archive is provided by the
Software Quality
Group in the
Information Technology
Laboratory (ITL) at the
National Institute of Standards and
Technology (NIST).
SOFTVERF Archive created February 29, 1996 ...
Conclusion
Updated
Mon May 1 08:53:44 2000
by Paul E. Black
(paul.black@nist.gov)