Symbolic execution game semantics

DOI10.4230/LIPICS.FSCD.2020.27MaRDI QIDQ6854407zbMATH OpenFDO

Authors Yu-Yang Lin, Nikos Tzevelekos

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.27

zbMATH Keywords

game semanticssymbolic executionhigher-order open programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 1670817 (Why is no real title available?)
• scientific article; zbMATH DE number 1342245 (Why is no real title available?)
• A Fully Abstract Trace Semantics for General References
• A contextual equivalence checker for IMJ*
• A system-level game semantics
• An overview of the K semantic framework
• Higher-order linearisability
• Modular verification of higher-order functional programs
• Nominal sets. Names and symmetry in computer science
• Operational reasoning for functions with local state
• Program verification using symbolic game semantics
• Symbolic Testing and the DISSECT Symbolic Evaluation System
• Tools and Algorithms for the Construction and Analysis of Systems
• Why does Astrée scale up?
• Widening and narrowing operators for abstract interpretation

This page was built for publication: Symbolic execution game semantics

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