Structured implementation of symbolic execution: A first part in a program verifier

DOI10.1016/0020-0190(75)90041-1zbMath0302.68046OpenAlexW2071684302MaRDI QIDQ1216047

C. Loncour, S. Galand

Publication date: 1975

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(75)90041-1

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Automatic program verification. I: A logical basis and its implementation
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structured implementation of symbolic execution: A first part in a program verifier