413 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of Rome Tor VergataIT38 papers
- Istituto di Analisi dei Sistemi ed Informatica Antonio RubertiIT19 papers
- Sapienza University of RomeIT18 papers
- University of PerugiaIT16 papers
- University of RostockDE11 papers
- National Research CouncilLK10 papers
- University of L'AquilaIT10 papers
- Centre National de la Recherche ScientifiqueFR9 papers
- Politecnico di MilanoIT9 papers
- The University of TokyoJP9 papers
- University of CagliariIT9 papers
- University of PaduaIT9 papers
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019★ 4 cited
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
It is known that the verification of imperative, functional, and logic programs can be reduced to the satisfiability of constrained Horn clauses (CHCs), and this satisfiability che…
cs.LO2019★ 2 cited
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and…