Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.
| Autor: | Tagore, Aditi, Zaccai, Diego, Weide, Bruce W. |
|---|---|
| Zdroj: | NASA Formal Methods (9783642288906); 2012, p195-209, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|