new software verification e-mail list

Paul E. Black (black@leopard.cs.byu.edu)
Sun, 3 Mar 1996 22:21:57 -0700

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Florian Kammueller: "Q: Systems for Algebraic/ Structural Reasoning"
Previous message: MAKV@delphi.com: "Requirements for QEDL"

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-

Paul E. Black (p.black@ieee.org) Laboratory for Applied Logic, 3325 TMCB
black@cs.byu.edu Brigham Young University
voice: +1 801 378 8113 Provo, Utah 84602-6576
KC7PKT Web: http://lal.cs.byu.edu/people/black/black.html

Next message: Florian Kammueller: "Q: Systems for Algebraic/ Structural Reasoning"
Previous message: MAKV@delphi.com: "Requirements for QEDL"