An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
scientific article; zbMATH DE number 1857134
scientific article