Articoli più recenti per Specification Refinement

Un nuovo metodo per trovare nuclei insoddisfacenti minimi nella logica temporale lineare.