publicações Efficient Exploration for Explicit-State Model Checking of Programs with Dynamically-Allocated Data Documento
