Formal Program Verification Using Symbolic Execution

DOI10.1109/TSE.1982.234773MaRDI QIDQ3923571zbMATH OpenWikidataFDO

Authors Roger B. Dannenberg, George W. Ernst

Publication date 1982

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

Full work available at URL https://doi.org/10.1109/TSE.1982.234773

zbMATH Keywords

control constructsprogram provingrules of inference

Mathematics Subject Classification ID

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

Cited in

(2)

• Program verification using symbolic game semantics
• Schematic program proofs with abstract execution. Theory and applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3923571)