https://deepai.org/publication/verifying-catamorphism-based-contracts-using-constrained-horn-clauses
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses | DeepAI
May 12, 2022 - 05/12/22 - We address the problem of verifying that the functions of a program meet their contracts, specified by pre/postconditions. We foll...
constrained horn clausesverifyingcatamorphismbasedcontracts