Cargando…
Principles of model checking /
Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, Mass. :
MIT Press,
[2008?]
|
| Colección: | MIT Press Ser.
|
| Temas: | |
| Acceso en línea: | Texto completo |