See also formal methods, safety-critical system.
FTP. Mailing list: depend-sw@sei.cmu.edu.
[Summary?]