Abstract: The formalism of program logics is the main instrument for software verification. Many such logics reflecting different properties of software systems were proposed. Floyd-Hoare logic and ...

In community-maintained knowledge graphs contain millions of facts, contributors can introduce new predicates that have similar meanings to other predicates in the KG, known as synonym predicates. We ...