Sharon Shoham

Questo articolo presenta tecniche efficienti per usare la logica di primo ordine nella verifica dei sistemi.

Un nuovo metodo migliora la verifica delle proprietà di sicurezza in istanze finite.

Un nuovo approccio per verificare il comportamento del sistema usando classifiche implicite.