Experiments in abstract interpretation-based code certification for pervasive systems.

Elvira Albert, Germn Puebla, Manuel V. Hermenegildo

Browse the full SMC paper archive.