smack

SMACK es tanto una herramienta modular de verificación de software como un verificador de software autocontenido. Se puede utilizar para verificar las aserciones en sus programas de entrada. En su modo predeterminado, las aserciones se verifican hasta un límite dado en iteraciones de bucles y...