Verification Condition Generation Via Theorem Proving
From MaRDI portal
Publication:5387904
DOI10.1007/11916277_25zbMath1165.68410OpenAlexW1484808823MaRDI QIDQ5387904
No author found.
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11916277_25
Related Items
VST-Floyd: a separation logic tool to verify correctness of C programs, Parameterized synthesis for fragments of first-order logic over data words, Function extraction, A mechanical analysis of program verification strategies, Highly Automated Formal Proofs over Memory Usage of Assembly Code, Transforming Programs into Recursive Functions, Integrating external deduction tools with ACL2
Uses Software