Efficient Exploration for Explicit-State Model Checking of Programs with Dynamically-Allocated Data
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
produzido em
tipo
- doctoral thesis
autores
data de publicação
- 2007-01-01
prêmio patrocinado pela
- University of Illinois in Urbana-Champaign Organização