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.