A carregar...
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...
Na minha lista:
| Main Authors: | , |
|---|---|
| Formato: | Livro |
| Idioma: | Inglês |
| Publicado em: |
Springer Berlin Heidelberg,
2008
|
| Edição: | 1st ed. 2008. |
| Colecção: | Monographs in theoretical computer science. An EATCS Series |
| Assuntos: | |
| Acesso em linha: | https://minerva.ufrj.br/F/?func=direct&doc_number=000903855&local_base=UFR01 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|