Formal Program Verification Using Symbolic Execution

DOI10.1109/TSE.1982.234773zbMath0469.68011WikidataQ111900739 ScholiaQ111900739MaRDI QIDQ3923571

Roger B. Dannenberg, George W. Ernst

Publication date: 1982

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

rules of inferenceprogram provingcontrol constructs

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Program verification using symbolic game semantics

This page was built for publication: Formal Program Verification Using Symbolic Execution