Sound and Complete Verification Condition Generator for Functional Recursive Programs

DOI10.1007/978-3-7091-0794-2_11zbMath1248.68149OpenAlexW169737985MaRDI QIDQ2912122

Nikolaj Popov, Tudor Jebelean

Publication date: 14 September 2012

Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-7091-0794-2_11

zbMATH Keywords

verificationcompletenesssoundnessfunctional recursive programsverification condition generator

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Sound and Complete Verification Condition Generator for Functional Recursive Programs