Under-approximation Heuristics for Grid-based Bounded Model Checking
| Autor: | Iyer, Subramanian, Jain, Jawahar, Sahoo, Debashis, Emerson, E. Allen |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 20 February 2006 135(2):31-46 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect