[S4] ================================================ AMAST Links 03 01

               New e-mail list on Software Verification

   This is to announce a new software verification e-mail list.  
I and a number of people I have met are interested in formal 
verification of software, but I have not found any newsgroups or e-mail
lists devoted exclusively to it.  To help, I created a mailing list 
where people can discuss issues related to proving programs.  To join 
the list, send e-mail to _majordomo@lal.cs.byu.edu_.
The subject doesn't matter.  The body must contain the line
   subscribe softverf 
You should get an automatic response within about an hour.
   Soon I will create some World Wide Web pages with references and
resources related to software verification.

   _Paul E. Black_'s home page can be visited at URL:
   http://lal.cs.byu.edu/people/black/black.html