Progetto LOGIC-PAR

Descrizione

parallelizzazione del calcolo per la ricerca dei modelli per formule della Logica Temporale Lineare

Materiale di riferimento

Alice user manual

Materiale di consultazione

ricerca dei modelli per formule LTL e loro parallelizzazione