Verification, Model Checking, and Abstract Interpretation
| ISBN: | 9783540311393 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 443 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Emerson, E. Allen Namjoshi, Kedar S. |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 19.12.2005 |
| Untertitel: | 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings |
| Schlagworte: | Factor Refactoring abstraction algorithms complexity design model checking program analysis program invariants program semantics |