On the use of a high-level fault model to analyze logical consequence of properties.

Stefano Brait, Franco Fummi, Graziano Pravadelli

Browse the full MEMOCODE paper archive.