VST-Floyd: a separation logic tool to verify correctness of C programs
scientific article; zbMATH DE number 6921419
scientific article