Jürgen Dingel, Hongzhi Liang. Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 13-22, ACM, 2004. [doi]
Abstract is missing.