Large-scale formal verification in practice: A process perspective.

June Andronick, D. Ross Jeffery, Gerwin Klein, Rafal Kolanski, Mark Staples, He Zhang, Liming Zhu

Browse the full ICSE paper archive.