Compositional symbolic execution semantics

DOI10.1016/J.TCS.2025.115263MaRDI QIDQ6985819zbMATH OpenFDO

Authors Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wąsowski

Publication date 12 May 2025

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2025.115263

zbMATH Keywords

denotational semanticsprogram analysissymbolic execution

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming
• A generic framework for symbolic execution: a coinductive approach
• A new roadmap for linking theories of programming
• Abstract Interpretation Frameworks
• All-path reachability logic
• All-path reachability logic
• An axiomatic basis for computer programming
• Compositional correctness and completeness for symbolic partial order reduction
• Denotational semantics for symbolic execution
• Forward with Hoare
• Principles of verification: cycling the probabilistic landscape. Essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday. Part I
• Symbolic execution formally explained
• Symbolic execution: A semantic approach
• Symbolic semantics for probabilistic programs
• Trace-Based Coinductive Operational Semantics for While

This page was built for publication: Compositional symbolic execution semantics

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