Automated Code Proofs on a Formal Model of the X86.
| Autor: | Goel, Shilpi, Hunt Jr., Warren A. |
|---|---|
| Zdroj: | Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers; 2014, p222-241, 20p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|