Verification, Model Checking, and Abstract Interpretation
| ISBN: | 9783540436317 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 331 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Cortesi, Agostino |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 24.04.2002 |
| Untertitel: | Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers |
| Schlagworte: | Abstract Interpretation Concurrent Systems Correct System Design Formal Methods Program Analysis Program Optimization Program Semantics Program Specification Program Verification Reactive Systems |