Benjamin Franksen wrote:
[EMAIL PROTECTED] wrote:
Here are two surveys (somewhat outdated) on the use of formal methods in
industry:
http://citeseer.ifi.unizh.ch/39426.html
http://citeseer.ifi.unizh.ch/craigen93international.html
Both of these links are dead. Could you post author and title?
Those are alive at the moment of email composing:
http://citeseer.ist.psu.edu/39426.html
*An International Survey of Industrial Applications of Formal Methods:
Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)*
Dan Craigen, Susan Gerhart, Ted Ralston
http://citeseer.ist.psu.edu/craigen93international.html
*An International Survey of Industrial Applications of Formal Methods
Volume 2 Case Studies (1993)*
Dan Craigen, Susan Gerhart, Ted Ralston
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
