Formal Software Verification: How Close Are We?

Gerard J. Holzmann

Browse the full FORTE paper archive.