Verifying and Synthesizing Software with Recursive Functions

DOI10.1007/978-3-662-43948-7_2zbMath1409.68065OpenAlexW2107151638MaRDI QIDQ5167727

Viktor Kuncak

Publication date: 1 July 2014

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43948-7_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Synthesis of Recursive ADT Transformations from Reusable Templates

Uses Software

• z3
• SIMPLIFY
• Scala
• Leon
• CVC4

This page was built for publication: Verifying and Synthesizing Software with Recursive Functions