Proving program properties as first-order satisfiability

DOI10.1007/978-3-030-13838-7_1zbMath1524.68094arXiv1808.04111OpenAlexW2886233897MaRDI QIDQ6085973

Salvador Lucas

Publication date: 9 November 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

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

zbMATH Keywords

first-order logicprogram analysislogical models

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Proving semantic properties as first-order satisfiability ⋮ Automatic generation of logical models with AGES

This page was built for publication: Proving program properties as first-order satisfiability