FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers'. Together they form a unique fingerprint.

    Engineering & Materials Science