61 search results - page 13 / 13 » Practical Formal Verification of MPI and Thread Programs |
69
Voted
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...