Symbolic execution based on language transformation
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1956607 (Why is no real title available?)
- A rewriting logic approach to operational semantics
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An overview of the K semantic framework
- Foundations of algebraic specification and formal software development.
- From hoare logic to matching logic reachability
- Model Checking Software
- Programming Languages and Systems
- Symbolic execution and program testing
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- Variant narrowing and equational unification
Cited in
(16)- Mixed concrete-symbolic predicate transformer
- Symbolic execution: A semantic approach
- Symbolic execution formally explained
- Generalized rewrite theories, coherence completion, and symbolic methods
- Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework
- Symbolic computation via program transformation
- Symbolic Semantics and Program Reduction
- Language definitions as rewrite theories
- Compact symbolic execution
- Sound symbolic execution via abstract interpretation and its application to security
- Proof-carrying parameters in certified symbolic execution
- Executing and verifying higher-order functional-imperative programs in Maude
- scientific article; zbMATH DE number 1796151 (Why is no real title available?)
- Language definitions as rewrite theories
- On the nature of symbolic execution
- Unification in matching logic
This page was built for publication: Symbolic execution based on language transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749128)
