27 citations · 101 across the 22 of their papers we have counts for
3 papers · 1 filter
Enhancing Predicate Pairing with Abstraction for Relational Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
Relational verification is a technique that aims at proving properties that relate two different program fragments, or two different program runs. It has been shown that constraine…
Predicate Pairing for Program Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
It is well-known that the verification of partial correctness properties of imperative programs can be reduced to the satisfiability problem for constrained Horn clauses (CHCs). Ho…
Regularity of languages generated by non context-free grammars over a singleton terminal alphabet
Alberto Pettorossi, Maurizio Proietti
It is well-known that: (i) every context-free language over a singleton terminal alphabet is regular, and (ii) the class of languages that satisfy the Pumping Lemma is a proper sup…