scientific article; zbMATH DE number 7440193

zbMath1482.68136arXiv1607.04460MaRDI QIDQ5015370

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

Publication date: 7 December 2021

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• z3
• SeaHorn
• VeriMAP

Cites Work

• Transformations of CLP modules
• Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs

This page was built for publication: