Property-directed incremental invariant generation
scientific article; zbMATH DE number 5314960
scientific article