61 search results - page 13 / 13 » Practical Formal Verification of MPI and Thread Programs |
112
click to vote
DSN
2004
IEEE
15 years 6 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...