Symbolic abstract contract synthesis in a rewriting framework

DOI10.1007/978-3-319-63139-4_11zbMath1485.68051arXiv1608.05619OpenAlexW2512021169MaRDI QIDQ2409736

Daniel Pardo, María Alpuente, Alicia Villanueva

Publication date: 13 October 2017

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

KindSpec ⋮ Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

Uses Software

• Daikon
• z3

This page was built for publication: Symbolic abstract contract synthesis in a rewriting framework