He Zhang, Gerwin Klein, Mark Staples, June Andronick, Liming Zhu, Rafal Kolanski. Simulation modeling of a large-scale formal verification process. In D. Ross Jeffery, David Raffo, Ove Armbrust, LiGuo Huang, editors, 2012 International Conference on Software and System Process, ICSSP 2012, Zurich, Switzerland, June 2-3, 2012. pages 3-12, IEEE, 2012. [doi]
Abstract is missing.