Cargando…
Unfoldings A Partial-Order Approach to Model Checking /
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concu...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Monographs in Theoretical Computer Science. An EATCS Series,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Transition Systems and Products
- Unfolding Products
- Search Procedures for the Executability Problem
- More on the Executability Problem
- Search Procedures for the Repeated Executability Problem
- Search Procedures for the Livelock Problem
- Model Checking LTL
- Summary, Applications, Extensions, and Tools.