Cover Image

artifact-57-QCP: A Practical Separation Logic-based C Program Verification Tool

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Wu, Xiwei
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
by: Wu, Shushu, et al.
Published: (2025)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
by: Wang, Zhiyi, et al.
Published: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
by: Eilers, Marco, et al.
Published: (2024)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
by: Cristiá, Maximiliano, et al.
Published: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
by: Le, Quang Loc
Published: (2025)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

Structural Temporal Logic for Mechanized Program Verification
by: Ioannidis, Eleftherios, et al.
Published: (2024)

FO-Complete Program Verification for Heap Logics
by: Murali, Adithya, et al.
Published: (2026)

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs
by: Inamdar, Amogh, et al.
Published: (2025)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
by: Arquint, Linard, et al.
Published: (2025)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
by: Zhang, Yuanrui
Published: (2024)

Bayesian Separation Logic
by: Ho, Shing Hin, et al.
Published: (2025)

Separation Logic for Verifying Physical Collisions of CNC Programs
by: Lee, Yeonseok
Published: (2026)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
by: Haselwarter, Philipp G., et al.
Published: (2026)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)

AIGROW-artifact
by: Dong, Yibo
Published: (2025)

Vaddr-artifact
by: HU, YUHANG
Published: (2025)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
by: Liu, Chang, et al.
Published: (2023)

Dynamic Separation Logic
by: de Boer, Frank S., et al.
Published: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Governance, Migration and Educational Rights: A Policy Analysis of Migrant Children's Educational Access in Sichuan, China
by: Xiwei Huang
Published: (2025)

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
by: Tsai, Wei-Lun, et al.
Published: (2026)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
by: Dovier, Agostino, et al.
Published: (2026)

EditFlow-artifacts
by: Liu, Chenyan
Published: (2026)

AgentRaft_artifacts
by: anonymous, anonymous
Published: (2026)

Recursive Mutexes in Separation Logic
by: Du, Ke, et al.
Published: (2026)

Context-Aware Separation Logic
by: Meyer, Roland, et al.
Published: (2023)

Systematic Design of Separation Logics
by: Bruni, Roberto, et al.
Published: (2026)

Real‐Time Intelligent Detection of APT Attacks Using Mobile Edge Networks
by: Xiwei Wang
Published: (2025)

Magical Foodscape
by: Shen, Xiwei
Published: (2024)