Document Search Results

Newest Citations Relevance

Zavalía, Lucas; Chernigovskaia, Lidiia; Fedyukovich, Grigory

Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 341-365 (2023).

MSC: 68Q60 03B70 68Q65

Cite Review PDF

Full Text: DOI

De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio

Analysis and transformation of constrained Horn clauses for program verification. (English) Zbl 1541.68215

Theory Pract. Log. Program. 22, No. 6, 974-1042 (2022).

MSC: 68Q60 68N17 68N30

Cite Review PDF

Full Text: DOI arXiv

OA License

Shimoda, Takumi; Kobayashi, Naoki; Sakayori, Ken; Sato, Ryosuke

Symbolic automatic relations and their applications to SMT and CHC solving. (English) Zbl 1497.68320

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 405-428 (2021).

MSC: 68Q60 68P05 68Q45 68V15

Cite Review PDF

Full Text: DOI arXiv

De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio

Removing algebraic data types from constrained Horn clauses using difference predicates. (English) Zbl 07614508

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 83-102 (2020).

MSC: 68V15

Cite Review PDF

Full Text: DOI arXiv

Found 4 Documents (Results 1–4)

Solving constrained Horn clauses over algebraic data types. (English) Zbl 1529.68167

Analysis and transformation of constrained Horn clauses for program verification. (English) Zbl 1541.68215

Symbolic automatic relations and their applications to SMT and CHC solving. (English) Zbl 1497.68320

Removing algebraic data types from constrained Horn clauses using difference predicates. (English) Zbl 07614508

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software