scientific article; zbMATH DE number 7444023

zbMath1483.68189arXiv1907.03999MaRDI QIDQ5016384

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

Publication date: 13 December 2021

Full work available at URL: https://arxiv.org/abs/1907.03999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Searching and sorting (68P10) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Removing algebraic data types from constrained Horn clauses using difference predicates

Cites Work

• Unnamed Item
• Unnamed Item
• Transformations of CLP modules
• \(b=\int g\)
• Automating induction for solving Horn clauses
• Horn Clause Solvers for Program Verification
• Solving Horn Clauses on Inductive Data Types Without Induction
• Proving correctness of imperative programs by linearizing constrained Horn clauses
• Predicate Pairing for program verification
• Synchronizing Constrained Horn Clauses
• Induction for SMT Solvers

This page was built for publication: