Formal Program Verification Using Symbolic Execution
From MaRDI portal
Publication:3923571
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)
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Formal Program Verification Using Symbolic Execution