Verification, Model Checking, and Abstract Interpretation
| ISBN: | 9783540242970 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 483 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Cousot, Radhia |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 13.01.2005 |
| Untertitel: | 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings |
| Schlagworte: | C programming language Java abstract interpretation complexity data structure formal methods formal verification model checking program analysis program invariants |