Programmi di br-bmc.sf.net

Implementazione di un algoritmo di revisione delle convinzioni utilizzando il controllo del modello delimitato per ACTL